TITLE     : Proceedings of the third international workshop on formal methods for interactive systems (FMIS 2009)
AUTHOR(S) : Harrison M, Massink M
TYPE      : Book
YEAR      : 2009
CODE      : 190082

*** DO NOT EDIT THIS FILE ***