ePrints

The Role of Proof Obligations in Software Design

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD

Downloads

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

Publication metadata

Author(s): Jones CB

Editor(s): Ehrig, H., Floyd, C., Nivat, M. and Thatcher, J.W.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Colloquium on Software Engineering (CSE) at the International Joint Conference on Theory and Practice of Software Development: Mathematical Foundations of Software Development (TAPSOFT)

Year of Conference: 1985

Pages: 27-41

Publisher: Springer-Verlag

URL: http://dx.doi.org/10.1007/3-540-15199-0_3

DOI: 10.1007/3-540-15199-0_3

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 3540151990

Share