Prof. Dr.-Ing. Heiko Mantel
Area coordinator
Working area(s)
Software Systems and Formal Methods (Formal Methods)
Contact
mantel@informatik.tu-...
work +49 6151 16-25252
fax +49 6151 16-25251
Work
S2|02 E317
Hochschulstraße 10
64289
Darmstadt