S
Stefania Gnesi
8 works on record
Works

Formal methods

FM 2016 : Formal Methods

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