@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, Berlin, DEU},
	doi = {10.1007/978-3-030-30985-5_1},
	booktitle = {From Software Engineering to Formal Methods and Tools, and Back, edited by ter Beek M. H.; Fantechi A.; Semini L., pp. 1–11. Berlin: Springer, 2019},
	year = {2019}
}

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

Formal Methods and Tools (2002-ongoing)

Bibliographic record

Postprint version

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

link.springer.com

The Legacy of Stefania Gnesi