Toggle Main Menu Toggle Search


[PhD Thesis] The Formalisation of Software Development Using MASCOT

Lookup NU author(s): Dr Stephen Paynter


Full text is not currently available for this publication.

Publication metadata

Author(s): Paynter SE

Publication type: Report

Series Title:

Year: 1993

Institution: Mathematics Department, University of Southampton

Place Published: Southampton, UK

Notes: British Lending Library DSC stock location number: DX178950