Paper "Software Verification with PDR: An Implementation of the State of the Art" published in Proc. TACAS'20 and available now!

Anton Fasching

Technical Assistant

Picture of Anton Fasching

Software and Computational Systems Lab
Institute for Informatics
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538 Munich (Germany)

Office
Room F 005, Oettingenstr. 67
Phone
+49 89 2180-9178
Fax
+49 89 2180-9175
E-Mail
fasching @ sosy.ifi.lmu.de

GPG-Key

Please send me encrypted mails!
My GPG key: 0x401d5e7f