Reiner Hähnle
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Edited works | Fundamental Approaches to Softw... |
| Affiliations | Technische Universität Darmstadt |
| Interests | Formal Methods |
| Formal Verification | |
| Program Verification | |
| Software Verification | |
| Formal Methods | |
| Formal Verification | |
| Program Verification | |
| Software Verification | |
| Multiple-Valued Logic | |
| H index | 42 |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3361395 |
Reiner Hähnle Life story
Reiner Hahnle, University of Karlsruhe, 7500 Karlsruhe.
Reiner Hähnle Photos
