@misc{oai:it.cnr:prodotti:456526,
	title = {Editorial},
	author = {Mciver A. and Ter Beek M. H.},
	publisher = {Springer, London , Regno Unito},
	doi = {10.1007/s00165-021-00559-y},
	year = {2021}
}

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

Formal Methods and Tools (2002-ongoing)

Bibliographic record

Preprint version
Published version

10.1007/s00165-021-00559-y

link.springer.com