ePrints

Formal Methods Light

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD

Downloads

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

Publication metadata

Author(s): Jones CB, Jackson DN, Wing J

Publication type: Article

Publication status: Published

Journal: IEEE, Computer

Year: 1996

Volume: 29

Issue: 4

Pages: 20-22

ISSN (print): 0018-9162

ISSN (electronic): 1558-0814

Publisher: IEEE

URL: http://dx.doi.org/10.1109/MC.1996.10038

DOI: 10.1109/MC.1996.10038

Altmetrics

Share