Tobias Nipkow
| Use attributes for filter ! | |
| Residence | Munich |
|---|---|
| Germany | |
| Known for | Isabelle |
| Academic advisor | Cliff Jones |
| H index | 55 |
| Affiliations | Technical University Of Munich |
| Thesi | Behavioural Implementation Concepts for Nondeterministic Data Types |
| Interests | Formal Verification |
| Interactive Theorem Proving | |
| Logic In Computer Science | |
| Semantics | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1419899 |
About Tobias Nipkow
Tobias Nipkow is a German computer scientist.
tobias nipkow Photos
