Stefania Gnesi
Books
- FM 2016 : Formal Methods
- Critical Systems : Formal Methods and Automated Verification
- Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering
- Fundamental Approaches to Software Engineering
- Proceedings of the Seventh International Workshop on Variability Modelling of Software-Intensive Systems
- Formal Methods for Industrial Critical Systems
- Formal methods
- Proceedings of the 18th International Software Product Line Conference
Author data: Open Library