ePrints

Proof in VDM: Reader's Notes

Lookup NU author(s): Professor John Fitzgerald

Downloads

Full text is not currently available for this publication.

Abstract

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.

Publication metadata

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

Year: 1994

Pages: 76

Report Number: 489

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/abstract/489

Share