2016

Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verifica

International Workshop on Formal Methods for Industrial Critical Systems (21st : 2016 : Pisa, Italy)

Cham : Springer, 2016

 

2016

FM 2016 : formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

International Symposium of Formal Methods Europe (21st : 2016 : Limassol, Cyprus)

Cham, Switzerland : Springer, 2016

 

2013

Formal methods for industrial critical systems : a survey of applications

[Washington, DC] : IEEE Computer Society ; Hoboken, New Jersey : Wiley, [2013]

 

2019

From software engineering to formal methods and tools, and back : essays dedicated to Stefania Gnesi on the occasion of her 65th birthday

Cham, Switzerland : Springer, 2019

 

2014

Fundamental approaches to software engineering : 17th International Conference, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, Fran

FASE (Conference) (17th : 2014 : Grenoble, France)

Heidelberg : Springer, 2014