2005
Book
Restricted
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
Publisher: ACM, Association for computing machinery
Back to previous page
BibTeX entry
@book{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},
publisher = {ACM, Association for computing machinery},
year = {2005}
}CNR authorsLaboratories
0000-0001-5089-002X