2005
Contribution to conference
Unknown
Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems.
T. Margaria, M. Massink
formal methods; industrial critical systems
Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems
Source: New York: ACM, Association for computing machinery, 2005
Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:190083,
title = {Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems.},
author = {T. Margaria and M. Massink},
booktitle = {New York: ACM, Association for computing machinery, 2005},
year = {2005}
}CNR authorsLaboratories
0000-0001-5089-002XCNR ExploRA