Reasoning About Loops Using Vampire in KeY.

Wolfgang Ahrendt, Laura Kovcs, Simon Robillard

Browse the full LPAR paper archive.