I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Proving program termination


Byron Cook, Andreas Podelski, and Andrey Rybalchenko. Proving program termination. Commun. ACM, 54(5):88–98, 2011.

Suggested BibTeX entry:

    author = {Byron Cook and Andreas Podelski and Andrey Rybalchenko},
    journal = {Commun. ACM},
    number = {5},
    pages = {88-98},
    title = {Proving program termination},
    volume = {54},
    year = {2011}

This work is not available online here.