Browse by author
Lookup NU author(s): Professor Michael HarrisonORCiD
Author(s): Masci P, Huang H, Curzon P, Harrison MD
Editor(s): Goodloe, A.E., Person, S.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: NASA Formal Methods: 4th International Symposium (NFM)
Year of Conference: 2012
Pages: 273-278
Date deposited: 08/03/2013
ISSN: 0302-9743
Publisher: Springer
URL: http://dx.doi.org/10.1007/978-3-642-28891-3_27
DOI: 10.1007/978-3-642-28891-3_27
Notes: E-ISBN: 9783642288913
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 9783642288906
