Ranking Abstraction of Recursive Programs.

Ittai Balaban, Ariel Cohen, Amir Pnueli

Browse the full VMCAI paper archive.