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

Publications Master Template, generated: 10:42, 18 October 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Andreas Podelski, Ina Schaefer, and Silke Wagner
    Summaries for While Programs with Recursion
    Max-Planck-Institut für Informatik, Stuhlsatzenhausweg 85, MPI-I-2004-2-007, Research Report
    [PS: Download: 85998158.ps]
  2. Andreas Podelski, Ina Schaefer, and Silke Wagner
    Summaries for While Programs with Recursion
    In: Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, 2005, 94-107