Reiner Hähnle
3 published titles
Automated deduction in multiple-valued logics
1 edition
- ISBN: 0198539894
- Clarendon Press
- 1993
- Details
Verification of object-oriented software : the KeY approach
(Contributor)
1 edition
- ISBN: 9783540689775
- Springer
- 2007
- Details
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, 201
(Contributor)
1 edition
- ISBN: 9783642347801
- Springer
- 2012
- Details
