| address | University of Stuttgart
Institute of Formal Methods in Computer Science Universitätsstraße 38 D-70569 Stuttgart Germany |
||
|---|---|---|---|
| phone | +49 711 7816-332 | ||
| fax | +49 711 7816-370 | ||
| Ulrike.Ritzmann@informatik.uni-stuttgart.de | |||
| room | 1.353 and 1.453 | ||
| office hours: | 9:30 - 12:30 |
| deutsch | home | up | previous | next | contact |