Bernhard Beckert profile picture

Bernhard Beckert

Is this your author profile? Create an account to customize it!

Stand Alone

Formal Verification of Object-Oriented Software
Formal Verification Of Objectoriented Software International Conference Revised Selected Papers
Verification of object-oriented software
Formal Methods for Components and Objects
Formal Verification of Object-Oriented Software
Electronic Voting 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings
Electronic Voting 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino