3 Papers accepted at ISoLA'20: "An Interface Theory for Program Verification", "Verification Artifacts in Cooperative Verification", and "Violation Witnesses and Result Validation for Multi-Threaded Programs"

Dr. Philip Mayer

Picture of Dr. Philip Mayer

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

E-Mail
lastname@pst.ifi.lmu.de

More Information

For more information, see my Programming & Software Engineering Group web site.