Toggle Main Menu Toggle Search

Open Access padlockePrints

Reasoning about a Modular Model-oriented Formal Specification

Lookup NU author(s): Professor John Fitzgerald


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Fitzgerald JS

Editor(s): Harper, D.J., Norrie, M.C.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Specifications of Database Systems: 1st International Workshop on Specifications of Database Systems

Year of Conference: 1992

Pages: 106-134

Publisher: Springer-Verlag

Library holdings: Search Newcastle University Library for this item

Series Title: Workshops in Computing

ISBN: 9780387197326