2003
Contribution to book
Unknown
FM 03 Tutorial Notes
Massink M.
Formal Methods
no avaible
Back to previous page
BibTeX entry
@inbook{oai:it.cnr:prodotti:146889,
title = {FM 03 Tutorial Notes},
author = {Massink M.},
year = {2003}
}CNR authorsLaboratories
0000-0001-5089-002XCNR ExploRA