Automated Termination Analysis for Incompletely Defined Programs.

Christoph Walther, Stephan Schweitzer

Browse the full LPAR paper archive.