Gerwin Klein
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Books | Concrete Semantics: With Isabelle/HOL |
| Affiliations | University Of New South Wales |
| Citations | 6,704 |
| H index | 30 |
| Co authors | Gernot Heiser |
| Toby Murray | |
| Tobias Nipkow | |
| Michael Norrish | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1464698 |
Gerwin Klein Life story
Gerwin Klein Photos
