Toggle Main Menu Toggle Search

ePrints

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

Lookup NU author(s): John Hughes, Professor Cliff Jones

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Publication metadata

Author(s): Hughes JRD, Jones CB

Publication type: Article

Journal: Automated Software Engineering

Year: 2008

Volume: 15

Issue: 3-4

Pages: 299-312

ISSN (print): 0928-8910

ISSN (electronic): 1573-7535

Publisher: Springer

URL: http://dx.doi.org/10.1007/s10515-008-0036-6

DOI: 10.1007/s10515-008-0036-6


Altmetrics

Altmetrics provided by Altmetric


Actions

    Link to this publication


Share