2020
Contribution to journal  Open Access

25th International Conference on Formal Methods for Industrial Critical Systems

Ter Beek M.

Formal Methods  Industrial Critical Systems 

Source: ERCIM news 123 (2020): 5–5.

Publisher: ERCIM., Le Chesnay



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.},
	publisher = {ERCIM., Le Chesnay},
	year = {2020}
}
CNR ExploRA

Bibliographic record

ISTI Repository

Published version Open Access

Also available from

ercim-news.ercim.euOpen Access