VDM Proof Obligations and their Justification

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

Author(s): Jones CB

Editor(s): Bjørner, D., Jones, C.B., Mac an Airchinnigh, M. and Neuhold, E.J.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 1st VDM-Europe Symposium: VDM - A Formal Method at Work (VDM '87)

Year of Conference: 1987

Pages: 260-286

Publisher: Springer-Verlag

URL: http://dx.doi.org/10.1007/3-540-17654-3_15

DOI: 10.1007/3-540-17654-3_15

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 3540176543

ePrints