TY  - RPRT
TI  - Modular Verification of Recursive Programs
AU  - Krzysztof R. Apt
AU  - Frank S. de Boer
AU  - Ernst-Rüdiger Olderog
PY  - 2009
UR  - https://arxiv.org/abs/0907.4316
ID  - 0907.4316
ER  -