2019
Contribution to book
Open Access
The Legacy of Stefania Gnesi: From Software Engineering to Formal Methods and Tools, and Back
Ter Beek M. H., Fantechi A., Semini L.
Introduzione
The Legacy of Stefania Gnesi.
Publisher: Springer
Back to previous page
BibTeX entry
@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},
year = {2019}
}
0000-0002-4648-4667