Ter Beek M.
Formal Methods Industrial Critical Systems
Source: ERCIM news 123 (2020): 5–5.
Publisher: ERCIM., Le Chesnay
@misc{oai:it.cnr:prodotti:443063, title = {25th International Conference on Formal Methods for Industrial Critical Systems}, author = {Ter Beek M.}, publisher = {ERCIM., Le Chesnay}, year = {2020} }