Reiner Hähnle

Books

Active Object Languages: Current Research Trends Active Object Languages: Current Research Trends
Active Object Languages: Current Research Trends
2024
Deductive Software Verification: Future Perspectives Deductive Software Verification: Future Perspectives
Deductive Software Verification: Future Perspectives
2020
Machine Learning for Dynamic Software Analysis: Potentials and Limits Machine Learning for Dynamic Software Analysis: Potentials and Limits
Machine Learning for Dynamic Software Analysis: Potentials and Limits
2018
Automated Reasoning Automated Reasoning
Automated Reasoning
2010
Tests and Proofs Tests and Proofs
Tests and Proofs
2008