2006
Journal article
Open Access
FMICS 2005 - 10th International Workshop on Formal Methods in SAfety Critical Systems
Massink M, Margaria T
D.2.4 Software/Program Verification
Report on the 10th edition of the FMICS international workshop held in Lisbon in 2005.
Source: ERCIM NEWS, vol. 64, pp. 6-7
Back to previous page
BibTeX entry
@article{oai:it.cnr:prodotti:68327,
title = {FMICS 2005 - 10th International Workshop on Formal Methods in SAfety Critical Systems},
author = {Massink M and Margaria T},
year = {2006}
}CNR authorsLaboratories
0000-0001-5089-002X