Toggle Main Menu Toggle Search

Open Access padlockePrints

IPSE 2.5 theorem proving concepts paper

Lookup NU author(s): Professor Cliff JonesORCiD

Downloads

Full text is not currently available for this publication.


Publication metadata

Author(s): Jones CB, Lindsay P, Wadsworth C

Publication type: Report

Publication status: Published

Series Title:

Year: 1986

Print publication date: 01/06/1986

Source Publication Date: June 1986

Report Number: 060/00021/1.5

Institution: Manchester University and Rutherford Appleton Laboratory


Share