Browse by author
Lookup NU author(s): Dr James Armstrong
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Author(s): Armstrong JM, Maung I, Howse JR, Mitchell RJ
Editor(s): Goldsack. S.J., Kent, S.J.H.
Publication type: Book Chapter
Publication status: Published
Book Title: Formal Methods and Object Technology
Year: 1996
Pages: 47-58
Series Title: Formal Approaches to Computing and Information Technology (FACIT)
Publisher: Springer
Place Published: London, UK
Library holdings: Search Newcastle University Library for this item
ISBN: 9783540199779