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): Woodcock J, Cavalcanti A, Fitzgerald J, Foster S, Larsen PG
Editor(s): Margaria, T; Steffen, B
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Year of Conference: 2014
Pages: 54-73
Publisher: Springer-Verlag
URL: http://dx.doi.org/10.1007/978-3-662-45231-8_5
DOI: 10.1007/978-3-662-45231-8_5
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 9783662452301