Toggle Main Menu Toggle Search

Open Access padlockePrints

[PhD Thesis] Modularity in Model-oriented Formal Specifications and its Interaction with Formal Reasoning

Lookup NU author(s): Professor John Fitzgerald


Full text is not currently available for this publication.

Publication metadata

Author(s): Fitzgerald JS

Publication type: Report

Publication status: Published

Series Title:

Year: 1991

Pages: 171

Institution: Department of Computer Science, University of Manchester

Place Published: Manchester, UK

Notes: Issued as Technical Report UMCS 91-11-2, Dept. of Computer Science, University of Manchester, Manchester M13 9PL, UK, 1991