Software Development Based on Formal Methods

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): Habermann, A.N. and Montanari, U.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 1986 CRAI Workshop on Software Factories and Ada: Software Development and Ada

Year of Conference: 1987

Pages: 153-172

Publisher: Springer-Verlag

URL: http://dx.doi.org/10.1007/3-540-18341-8_20

DOI: 10.1007/3-540-18341-8_20

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 3540183418

ePrints