Stefania Gnesi

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