Summer School
Marktoberdorf 2017
Logical Methods for Safety and
Security of Software Systems
Toggle navigation
Home
Lectures
(current)
Slides
(current)
Student Posters
(current)
Application
(current)
Previous Editions
(current)
Contact
(current)
Contact
Marktoberdorf Summer School
Tobias Nipkow
Institut für Informatik - I21
Technische Universität München
Boltzmannstr. 3
85748 Garching bei München
GERMANY
email: asimod@in.tum.de
phone: +49 89 289 17300 (Helma Piller)
Imprint