Toggle Main Menu Toggle Search

Open Access padlockePrints

Specifications are not (necessarily) executable

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): Hayes IJ, Jones CB

Editor(s): Bowen, J.P. and Hinchey, M.G.

Publication type: Book Chapter

Publication status: Published

Book Title: High-Integrity System Specification and Design

Year: 1999

Pages: 563-581

Series Title: Formal Approaches to Computing and Information Technology (FACIT)

Publisher: Springer-Verlag

Place Published: London

Library holdings: Search Newcastle University Library for this item

ISBN: 3540762264