Simon Roßkopf
Contact
E-Mail
rosskops@in.tum.de
Organization
Chair for Logic and Verification (I21)
Institut für Informatik
Technische Universität München
Address
Boltzmannstraße 3
85748 Garching
Germany
Office
MI 00.09.059