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

  1. Lookup NU author(s)
  2. Professor John Fitzgerald
Author(s)Fitzgerald JS
Publication type Report
Series Title
Full text is not currently available for this publication.
InstitutionDepartment of Computer Science, University of Manchester
Place PublishedManchester, UK
NotesIssued as Technical Report UMCS 91-11-2, Dept. of Computer Science, University of Manchester, Manchester M13 9PL, UK, 1991
ActionsLink to this publication