2006
Journal article
Unknown
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 64 (2006): 6–7.
Publisher: ERCIM., Le Chesnay
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.},
publisher = {ERCIM., Le Chesnay},
journal = {ERCIM news},
volume = {64},
pages = {6–7},
year = {2006}
}CNR authorsLaboratories
0000-0001-5089-002XCNR ExploRA