Browse by author
Lookup NU author(s): Dr Jeremy Bryans, Professor John Fitzgerald
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Editor(s): Bryans J, Fitzgerald J
Publication type: Edited Book
Publication status: Published
Series Title: Electronic Proceedings in Theoretical Computer Science
Year: 2009
Volume: 16
Number of Pages: 63
Publisher: Open Publishing Association
Place Published: Australia
URL: http://arxiv.org/html/1001.5310
Notes: FAVO 2009 workshop - satellite event to 16th International Symposium on Formal Methods (FM2009). ISSN: 2075-2180 (online) ISSN: 2075-2180