Stefania Gnesi

No bio available. Add one in Open Library.

Books by Stefania Gnesi (50 max)

+ shelf+ list

Formal Methods for Industrial Critical Systems A Survey of Applications

2012

Stefania Gnesi, Tiziana Margaria

+ shelf+ list

Proceedings of the 18th International Software Product Line Conference

2014

Stefania Gnesi

+ shelf+ list

Fundamental Approaches to Software Engineering 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

2014

Stefania Gnesi, Arend Rensink

+ shelf+ list

FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science)

2003

Keijiro Araki, Stefania Gnesi

+ shelf+ list

Proceedings of the Seventh International Workshop on Variability Modelling of Software-Intensive Systems

2013

Stefania Gnesi

+ shelf+ list

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering

2014

Stefania Gnesi

+ shelf+ list

FM 2016 : Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

2016

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

+ shelf+ list

Critical Systems : Formal Methods and Automated Verification: 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

2016

Maurice H. Ter Beek, Stefania Gnesi, Alexander Knapp