2003
Other
Open Access
FM '03 Tutorial Notes
Massink M.
Formal Methods
Tutorial Notes of the 12th International FME Symposium held in Pisa, September 8-12, 2003.
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:160086,
title = {FM '03 Tutorial Notes},
author = {Massink M.},
year = {2003}
}CNR authorsLaboratories
0000-0001-5089-002X