Stefania Gnesi

Stefania Gnesi (born 1954) is an Italian software engineer whose work focuses on formal methods, and the use of natural language and natural language processing in requirements analysis. She is a director of research at the Istituto di Scienza e Tecnologie dell'Informazione of the Italian National Research Council (CNR), where she heads the Formal Methods and Tools group. Provided by Wikipedia
1
Critical Systems: Formal Methods and Automated Verification [E-Book] : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /
Other Personal Name(s): “...Gnesi, Stefania...”

Full text 
Favorites
Saved in:
2
FM 2016: Formal Methods [E-Book] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /
Other Personal Name(s): “...Gnesi, Stefania...”

Full text 
Favorites
Saved in:
3
Fundamental Approaches to Software Engineering [E-Book] : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Other Personal Name(s): “...Gnesi, Stefania....”

Full text 
Favorites
Saved in:
4
Integrated Formal Methods [E-Book]: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Other Personal Name(s): “...Gnesi, Stefania....”

Full text 
Favorites
Saved in:
5
Abstract State Machines, Alloy, B, VDM, and Z [E-Book]: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Other Personal Name(s): “...Gnesi, Stefania....”

Full text 
Favorites
Saved in:
6
FME 2003: Formal Methods [E-Book] : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
Other Personal Name(s): “...Gnesi, Stefania...”

Full text 
Favorites
Saved in: