Browse by author
Lookup NU author(s): Professor John Fitzgerald,
Dr Peter Larsen
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Author(s): Fitzgerald JS, Larsen PG, Brookes T, Green M
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 14.
Library holdings: Search Newcastle University Library for this item