Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 15:04, 17 September 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Dirk Beyer, Thomas Henzinger, Rupak Majumdar, and Andrey Rybalchenko
    Path Invariants
    In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, CA, USA, 2007, 300-309

  2. Byron Cook, Andreas Podelski, and Andrey Rybalchenko
    Proving Thread Termination
    In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, CA, USA, 2007, 320-330