ePrints

Applying formal specification in industry

Lookup NU author(s): Dr Peter Larsen, Professor John Fitzgerald

Downloads

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

Publication metadata

Author(s): Larsen PG, Fitzgerald J, Brookes T

Publication type: Article

Publication status: Published

Journal: IEEE Software

Year: 1996

Volume: 13

Issue: 3

Pages: 48-56

Print publication date: 01/05/1996

ISSN (print): 0740-7459

ISSN (electronic): 1937-4194

Publisher: IEEE

URL: http://dx.doi.org/10.1109/52.493020

DOI: 10.1109/52.493020

Altmetrics

Share