Critical Systems : Formal Methods and Automated VerificationMaurice H. Ter Beek, Stefania Gnesi, Alexander Knapp · First published 2016Open the Tome
FM 2016 : Formal MethodsJohn Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou · First published 2016Open the Tome
Fundamental Approaches to Software EngineeringStefania Gnesi, Arend Rensink · First published 2014Open the Tome
Proceedings of the 18th International Software Product Line ConferenceStefania Gnesi · First published 2014Open the Tome
Proceedings of the 2nd FME Workshop on Formal Methods in Software EngineeringStefania Gnesi · First published 2014Open the Tome
Proceedings of the Seventh International Workshop on Variability Modelling of Software-Intensive SystemsStefania Gnesi · First published 2013Open the Tome
