2017
Contribution to journal
Open Access
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems
Ter Beek M.
Formal Methods Industrial Critical Systems Automated Verification Critical Systems
Source: ERCIM news 108 (2017): 9–9.
Publisher: ERCIM., Le Chesnay
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:443065,
title = {Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems},
author = {Ter Beek M.},
publisher = {ERCIM., Le Chesnay},
year = {2017}
}CNR authorsLaboratories
0000-0002-2930-6367CNR ExploRA
ISTI Repository
Also available from
ISTI Repository
Also available from
