2009
Contribution to journal
Unknown
Proceedings of the third international workshop on formal methods for interactive systems (FMIS 2009)
Harrison M., Massink M.
formal methods; interactive systems
Special issue on the third international workshop on formal methods for interactive systems (FMIS 2009)
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:190082,
title = {Proceedings of the third international workshop on formal methods for interactive systems (FMIS 2009)},
author = {Harrison M. and Massink M.},
year = {2009}
}CNR authorsLaboratories
0000-0001-5089-002XCNR ExploRA