Browse by author
Lookup NU author(s): Professor John Fitzgerald
Full text is not currently available for this publication.
Proof in VDM: A Practitioner's Guide Springer-Verlag FACIT Series 1994 ISBN 3-540-19813-X The main sections of this report refer to the corresponding chapters of the book. The solutions to exercises given here are not necessarily the only ones. Indeed they may not always be the best! The answers use some simple lemmas which are not given in the book. These are stated where they are first used, and are generally stated without proof.
Author(s): Bicarregui JC, Fitzgerald JS, Moore R, Ritchie B
Publication type: Report
Publication status: Published
Series Title: Department of Computing Science Technical Report Series
Report Number: 489
Institution: Department of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne