@article{oai:it.cnr:prodotti:456526,
	title = {Editorial},
	author = {Mciver A and Ter Beek Mh},
	year = {2021}
}

Ter Beek, Maurice Henri
0000-0002-2930-6367

Formal Methods and Tools (2002-ongoing)

Bibliographic record
Deposited version
Deposited version

Preprint version
Published version

link.springer.com