AboutSign inJoin

Bernhard Beckert

About

Some information is missing for this author.

Books

Electronic Voting
Electronic Voting
Bernhard Beckert, Robert Krimmer, Melanie Volkamer, Ralf Küsters, David Duenas-Cid, Oksana Kulyk, Mihkel Solvak
Formal Methods for Components and Objects
Formal Methods for Components and Objects
Frank S. de Boer, Bernhard Beckert, Marcello M. Bonsangue, Ferruccio Damiani
Verification of Object-Oriented Software. The KeY Approach
Verification of Object-Oriented Software. The KeY Approach
Peter H. Schmitt, Reiner Hähnle, Bernhard Beckert
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
Bernhard Beckert
Formal Verification of Object-Oriented Software
Formal Verification of Object-Oriented Software
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
Electronic Voting
Electronic Voting
Bernhard Beckert, Robert Krimmer, Melanie Volkamer, Veronique Cortier, Ralf Küsters, Uwe Serdült, David Duenas-Cid
Tests and Proofs
Tests and Proofs
Reiner Hähnle, Bernhard Beckert
Verification of Object-Oriented Software. The KeY Approach
Verification of Object-Oriented Software. The KeY Approach
Peter H. Schmitt, Reiner Hähnle, Bernhard Beckert
Formal Verification of Object-Oriented Software
Formal Verification of Object-Oriented Software
Bernhard Beckert, Claude Marché
Deductive Software Verification – The KeY Book
Deductive Software Verification – The KeY Book
Peter H. Schmitt, Richard Bubel, Wolfgang Ahrendt, Mattias Ulbrich, Reiner Hähnle, Bernhard Beckert

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian