Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal methods – selected historical references

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD

Downloads

Full text is not currently available for this publication.


Publication metadata

Author(s): Jones CB, McCauley AM

Publication type: Report

Publication status: Published

Series Title:

Year: 1992

Print publication date: 01/01/1992

Source Publication Date: 1992

Report Number: UMCS-92-12-2

Institution: Manchester University

Place Published: Manchester


Share