Reiner Hahnle
| Use attributes for filter ! | |
| Books | Automated Deduction in Multiple-valued Logics |
|---|---|
| Automated Reasoning | |
| Affiliations | Technische Universität Darmstadt |
| Citations | 7,377 |
| H index | 42 |
| Co authors | Bernhard Beckert |
| Einar Broch Johnsen | |
| Wolfgang Arendt | |
| Martin Giese | |
| Ina Schaefer | |
| Interests | Formal Methods |
| Formal Verification | |
| Program Verification | |
| Software Verification | |
| Publications | scholar.google.com |
| Edited works | Deductive Software Verificati... |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1535117 |
Reiner Hahnle Life story
Reiner Hahnle Photos
