Toggle Main Menu Toggle Search

Open Access padlockePrints

A Rigorous Approach to Formal Methods

Lookup NU author(s): Professor Cliff Jones


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


Find at Newcastle University icon    Link to this publication