DMCA

Modular Verification of Recursive Programs (2009)

by Krzysztof R. Apt , Frank S. de Boer , Ernst-Rüdiger Olderog