2020
Other
Open Access
25th International Conference on Formal Methods for Industrial Critical Systems
Ter Beek M
Formal Methods Industrial Critical Systems
Source: ERCIM NEWS, vol. 123, p. 5
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:443063,
title = {25th International Conference on Formal Methods for Industrial Critical Systems},
author = {Ter Beek M},
year = {2020}
}CNR authorsLaboratories
0000-0002-2930-6367