 |
Dr. Martin Strecker
Institut für Informatik, I4 Technische Universität München Boltzmannstr. 3 D-85748 Garching |
 |
(+49) 89 / 289-17330 |
 |
(+49) 89 / 289-17307 |
 |
Martin.Strecker@in.tum.de |
 |
Room 01.11.057 |
| PGP key |
| Technische Universität München, Department of Computer Science, Software & Systems Engineering, Theorem Proving Group | up: Staff |
|
|
| Research |
| Teaching |
Material of previous semesters
| Admin |
| Martin Strecker | The abuse of my email address for commercial purposes is explicitly prohibited. | Last modified: Wed Jun 2 16:25:26 MEST 2004 |