Institute of Formal Methods in Computer Science
Universitätsstraße 38
D-70569 Stuttgart
Germany
|
address | University of Stuttgart
Institute of Formal Methods in Computer Science Universitätsstraße 38 D-70569 Stuttgart Germany |
|
|---|---|---|---|
| phone | +49 711 7816-308 | ||
| fax | +49 711 7816-310 | ||
| knoedel@informatik.uni-stuttgart.de | |||
| room | 2.132 | ||
| Office hours | by appointment |
 |
 |
 |
 |
 |
 |
| deutsch | home | up | previous | next | contact |