AboutSign inJoin

Reiner Hähnle

About

Some information is missing for this author.

Books

Handbook of Tableau Methods
Handbook of Tableau Methods
Dov M. Gabbay, Reiner Hähnle, M. D'Agostino, J. Posegga
Formal Methods for Components and Objects
Formal Methods for Components and Objects
Frank S. de Boer, Reiner Hähnle, Marcello M. Bonsangue, Elena Giachino
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
Automated Reasoning
Reiner Hähnle, Jürgen Giesl
Automated Reasoning
Automated Reasoning
Reiner Hähnle, Jürgen Giesl
Machine Learning for Dynamic Software Analysis: Potentials and Limits
Machine Learning for Dynamic Software Analysis: Potentials and Limits
Reiner Hähnle, Amel Bennaceur, Karl Meinke
Tests and Proofs
Tests and Proofs
Reiner Hähnle, Bernhard Beckert
Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
Reiner Hähnle, Wil van der Aalst
Verification of Object-Oriented Software. The KeY Approach
Verification of Object-Oriented Software. The KeY Approach
Peter H. Schmitt, Reiner Hähnle, Bernhard Beckert
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