The Legacy of Stefania Gnesi: From Software Engineering to Formal Methods and Tools, and Back

Chapter
Publication Date:
2019
abstract:
The Legacy of Stefania Gnesi.
Iris type:
02.01 Contributo in volume (Capitolo o Saggio)
Keywords:
Introduzione
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/364100
Full Text:
Book title:
From Software Engineering to Formal Methods and Tools, and Back