Project Details
Professor Dr. Holger Schlingloff
Address
Humboldt-Universität zu Berlin
Institut für Informatik
Forschungseinheit Spezifikation, Verifikation und Testtheorie
Unter den Linden 6
10099 Berlin