2024

Active object languages : current research trends

Cham, Switzerland : Springer, 2024

 

2010

Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings

IJCAR (Conference) (5th : 2010 : Edinburgh, Scotland)



 

2020

Deductive software verification: future perspectives : reflections on the occasion of 20 years of KeY

Cham : Springer, [2020]

 

2016

Deductive Software Verification -- The KeY Book : From Theory to Practice

Cham : Springer, 2016

 

2013

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures

FMCO (Symposium) (11th : 2012 : Bertinoro, Italy)

Heidelberg : Springer, [2013]

 

2014

Formal methods for executable software models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 201

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (14th : 2014 : Bertinoro, Italy)

Cham : Springer, [2014]

 

2019

Fundamental approaches to software engineering : 22nd International Conference, FASE 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech

FASE (Conference) (22nd : 2019 : Prague, Czech Republic)

Cham, Switzerland : Springer Open, 2019

 

2012

Leveraging applications of formal methods, verification, and validation : International Workshops SARS 2011 and MLSC 2011 held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011

 

2022

The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday

Cham, Switzerland : Springer, 2022

 

2018

Machine learning for dynamic software analysis : potentials and limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised papers

Cham, Switzerland : Springer, 2018