Stefania Gnesi

Critical Systems : Formal Methods...

Critical Systems : Formal Methods and Automated Verification

Year unknown Maurice H. Ter Beek, Stefania Gnesi, and Alexander Knapp

FM 2016 : Formal Methods

Year unknown John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, and Anna Philippou

Formal methods

Year unknown Keijiro Araki and Stefania Gnesi

Formal Methods for Industrial Cri...

Formal Methods for Industrial Critical Systems

Year unknown Stefania Gnesi and Tiziana Margaria

Fundamental Approaches to Software Engineering

Year unknown Stefania Gnesi and Arend Rensink

Proceedings of the 18th Internati...

Proceedings of the 18th International Software Product Line Conference

Year unknown

Proceedings of the 2nd FME Worksh...

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering

Year unknown

Proceedings of the Seventh Intern...

Proceedings of the Seventh International Workshop on Variability Modelling of Software-Intensive Systems

Year unknown