2005
Contribution to conference
Unknown
Foreword - FMICS'05 Tenth International Workshop on Formal Methods for Industrial Critical Systems.
Margaria T., Massink M.
Formal Methods
Foreword of the proceedings of the tenth edition of the International Workshop on Formal Methods for Industrial Critical Systems, Lisbon, 2005
Source: New York: ACM, Association for computing machinery, 2005
Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:160933,
title = {Foreword - FMICS'05 Tenth International Workshop on Formal Methods for Industrial Critical Systems.},
author = {Margaria T. and Massink M.},
booktitle = {New York: ACM, Association for computing machinery, 2005},
year = {2005}
}CNR authorsLaboratories
0000-0001-5089-002XCNR ExploRA