@article{oai:it.cnr:prodotti:422753,
	title = {Editorial - Formal Aspects of Computing},
	author = {Gnesi S and Cavalcanti A and Fitzgerald J and Heitmeyer C},
	year = {2019}
}

Gnesi, Stefania
0000-0002-0139-0421

Formal Methods and Tools (2002-ongoing)

Bibliographic record
Deposited version

Published version

link.springer.com