Reiner Hähnle profile picture

Reiner Hähnle

Is this your author profile? Create an account to claim and customize it!

Automated Deduction in Multiple-valued Logics
Leveraging Applications of Formal Methods, Verification, and Validation
Handbook of Tableau Methods
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... October 17-18, 2011. Revised Selected Papers
Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Machine Learning for Dynamic Software Analysis: Potentials and Limits
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
Handbook of Tableau Methods
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Deductive Software Verification – The KeY Book From Theory to Practice
Active Object Languages: Current Research Trends
Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

See All