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): Brookes TM, Green M, Fitzgerald JS, Larsen PG
Publication type: Article
Publication status: Published
Journal: FACS Europe Newsletter
Year: 1994
Volume: 1
Issue: 2
Print publication date: 01/01/1994
ISSN (print): 1361-3103
Publisher: British Computer Society Specialist Group in Formal Aspects of Computing Science (BCS FACS)