Reiner Hähnle profile picture

Reiner Hähnle

Stand Alone

Automated Deduction in Multiple-valued Logics (International Series of Monographs on Computer Science, 10)
Leveraging Applications of Formal Methods, Verification, and Validation
Handbook of Tableau Methods
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
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