R
Reiner Hähnle
8 works on record
Works

Leveraging Applications of Formal Methods, Verification, and Validation

Machine Learning for Dynamic Software Analysis : Potentials and Limits

Fundamental Approaches to Software Engineering
Deductive Software Verification - the KeY Book
Deductive Software Verification - the KeY Book
2016
Verification of Object-Oriented Software. the KeY Approach
Verification of Object-Oriented Software. the KeY Approach
2007
Automated Reasoning
Automated Reasoning
Deductive Software Verification : Future Perspectives
Deductive Software Verification : Future Perspectives
Tests and Proofs
Tests and Proofs