MPG.eBooks - Author Search Results

Cover Image

1

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Beckert, Bernhard...”

Cover Image

2

Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Beckert, Bernhard...”

Cover Image

3

Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Published 2011

Springer Berlin Heidelberg

Other Authors: “...Beckert, Bernhard...”

Cover Image

4

Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Published 2012

Springer Berlin Heidelberg

Other Authors: “...Beckert, Bernhard...”

Cover Image

5

Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Beckert, Bernhard...”

Cover Image

6

Electronic Voting : 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings

Published 2020

Springer International Publishing

Other Authors: “...Beckert, Bernhard...”

Cover Image

7

Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY

Published 2020

Springer International Publishing

Other Authors: “...Beckert, Bernhard...”

Cover Image

8

Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings

Published 2019

Springer International Publishing

Other Authors: “...Beckert, Bernhard...”

Cover Image

9

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

Published 2016

Springer International Publishing

Other Authors: “...Beckert, Bernhard...”

10

The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Published 2022

Springer International Publishing

Other Authors: “...Beckert, Bernhard...”

Cover Image

11

Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Published 2013

Springer Berlin Heidelberg

Other Authors: “...Beckert, Bernhard...”