ePrints

A Rigorous Approach to Formal Methods

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

Publication type: Article

Publication status: Unknown

Journal: Computer

Year: 1996

Volume: 29

Issue: 4

Pages: 20-21

Print publication date: 01/04/1996

ISSN (print): 0018-9162

Publisher: IEEE Computer Society

Share