Jonas Rädle
Contact
E-Mail
raedle@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.065
Phone
+49 (89) 289 17326