Toggle Main Menu Toggle Search

Open Access padlockePrints

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

Report Number: UMCS 91-11-2

Institution: Department of Computer Science, University of Manchester

Place Published: Manchester, UK

Notes: Ph.D. Thesis.