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