Lookup NU author(s): Professor Michael Harrison
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Author(s): Massink M, Bracciali A, Latella D, Harrison M
Publication type: Conference Proceedings (inc. Abstract)
Conference Name: Proceedings of the 8th IEEE International Conference on Software Engineering And Formal Methods (SEFM2010).
Year of Conference: 2010
Library holdings: Search Newcastle University Library for this item