Toggle Main Menu Toggle Search

Open Access padlockePrints

Theorem proving and software engineering

Lookup NU author(s): Professor Cliff JonesORCiD


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: Published

Journal: Software Engineering Journal

Year: 1988

Volume: 3

Issue: 1

Pages: 2-2

Print publication date: 01/01/1988

ISSN (print): 0268-6961

Publisher: Institution of Electrical Engineers (IEE)