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
Number of Pages: 63
Publisher: Open Publishing Association
Place Published: Australia
Notes: FAVO 2009 workshop - satellite event to 16th International Symposium on Formal Methods (FM2009).
ISSN: 2075-2180 (online)