Lookup NU author(s): Professor Cliff Jones
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Author(s): Jones CB
Editor(s): Woodcock, J. and Larsen, P.G.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 1st International Symposium of Formal Methods Europe: Industrial-Strength Formal Methods (FME '93)
Year of Conference: 1993
Notes: Invited Lecture
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science