Simon Roßkopf

Contact

E-Mailrosskops@in.tum.de
OrganizationChair for Logic and Verification (I21)
Institut für Informatik
Technische Universität München
AddressBoltzmannstraße 3
85748 Garching
Germany
OfficeMI 00.09.059