@inbook{oai:it.cnr:prodotti:409361,
	title = {The Legacy of Stefania Gnesi: From Software Engineering to Formal Methods and Tools, and Back},
	author = {Ter Beek M.  H. and Fantechi A. and Semini L.},
	publisher = {Springer},
	doi = {10.1007/978-3-030-30985-5_1},
	year = {2019}
}

Fantechi, Alessandro
0000-0002-4648-4667
Ter Beek, Maurice Henri
0000-0002-2930-6367

Formal Methods and Tools (2002-ongoing)

Bibliographic record
Deposited version
Deposited version

Postprint version

10.1007/978-3-030-30985-5_1

link.springer.com

The Legacy of Stefania Gnesi