Bernhard Steffen

7 published titles

Tools and algorithms for the construction and analysis of systems : 4th International Workshop, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98

(Contributor)

1 edition

Correct system design : recent insights and advances

(Contributor)

1 edition

Verification, model checking and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings

(Contributor)

1 edition

Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 : revised selected papers

(Contributor)

1 edition

Leveraging applications of formal methods, verification and validation : 5th international symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18 2012 : proceedings

(Contributor)

1 edition

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, 201

(Contributor)

1 edition

Leveraging applications of formal methods, verification and validation : 6th international symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings

(Contributor)

1 edition