Browse by author
Lookup NU author(s): Professor John Fitzgerald,
Dr Amer Saeed
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Author(s): Coombes A, Barroca L, Fitzgerald JS, McDermid JA, Spencer L, Saeed A
Editor(s): Hinchey MG and Bowen, JP
Series Editor(s): Hoare, CAR
Publication type: Book Chapter
Publication status: Published
Book Title: Applications of Formal Methods
Series Title: Prentice Hall International Series in Computer Science
Publisher: Prentice Hall
Place Published: London
Notes: Chapter 13.
Library holdings: Search Newcastle University Library for this item