ePrints

[PhD Thesis] The Formalisation of Software Development Using MASCOT

Lookup NU author(s): Dr Stephen Paynter

Downloads

Full text is not currently available for this publication.

Publication metadata

Author(s): Paynter SE

Publication type: Report

Publication status: Published

Series Title:

Year: 1993

Institution: Mathematics Department, University of Southampton

Place Published: Southampton, UK

Notes: British Lending Library DSC stock location number: DX178950

Share