Non abbiamo ancora una biografia di Reiner Hähnle.
Pubblicato in Inglese
Leveraging Applications of Formal Methods, Verification, and Validation
Fundamental Approaches to Software Engineering
Verification of Object-Oriented Software. the KeY Approach
Tests and Proofs
Machine Learning for Dynamic Software Analysis : Potentials and Limits
Automated Reasoning
