OtiumSessione
Sessione
Non abbiamo ancora una biografia di Stefania Gnesi.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Formal methods for industrial critical systems
2012
Proceedings of the 18th International Software Product Line Conference
2014
Fundamental Approaches to Software Engineering
2014
Formal methods
2003
Proceedings of the Seventh International Workshop on Variability Modelling of Software-Intensive Systems
2013
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering
2014
FM 2016 : Formal Methods
2016
Critical Systems : Formal Methods and Automated Verification
2016