Reasoning about programs via operational semantics: requirements for a support system

  1. Lookup NU author(s)
  2. John Hughes
  3. Professor Cliff Jones
Author(s)Hughes JRD, Jones CB
Publication type Article
JournalAutomated Software Engineering
Year2008
Volume15
Issue3-4
Pages299-312
ISSN (print)0928-8910
ISSN (electronic)1573-7535
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
PublisherSpringer
URLhttp://dx.doi.org/10.1007/s10515-008-0036-6
DOI10.1007/s10515-008-0036-6
Actions    Link to this publication