Browse by author
Lookup NU author(s): Dr Leo Freitas
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Author(s): Freitas L
Editor(s): Medeiros Oliveira, M.V., Woodcock, J.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods (SBMF)
Year of Conference: 2009
Pages: 186-203
ISSN: 0302-9743 (print) 1611-3349 (online)
Publisher: Springer
URL: http://dx.doi.org/10.1007/978-3-642-10452-7_13
DOI: 10.1007/978-3-642-10452-7_13
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 9783642104510
