Summaries for While Programs with Recursion.

Andreas Podelski, Ina Schaefer, Silke Wagner

Browse the full ESOP paper archive.