Toggle Main Menu Toggle Search

ePrints

A Rigorous Approach to Formal Methods

Lookup NU author(s): 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): 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


Actions

    Link to this publication


Share