Toggle Main Menu Toggle Search

Open Access padlockePrints

The role of formal specifications in software development

Lookup NU author(s): 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

Publication type: Book Chapter

Publication status: Published

Book Title: Life-Cycle Management

Year: 1980

Volume: 7

Pages: 117-133

Series Title: Infotech State of the Art Reports Series 8

Publisher: Infotech Information Ltd.

Place Published: Maidenhead

Library holdings: Search Newcastle University Library for this item

ISBN: 0855396806


Share