Toggle Main Menu Toggle Search

Open Access padlockePrints

Software Development Based on Formal Methods

Lookup NU author(s): Professor Cliff JonesORCiD


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): 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


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