Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496
| Web | http://www.mais.informatik.tu-darmstadt.de/Heiko_Mantel.html |
| Office | Piloty building, Room E317 |
| Phone | +49 (0)6151 16 5226 (secretary) |
| Fax | +49 (0)6151 16 5326 |
| LASTNAME AT CS.TU-DARMSTADT.DE | |
| Postal Address | TU Darmstadt Department of Computer Science Modeling and Analysis of Information Systems Hochschulstraße 10 D-64289 Darmstadt Germany |