CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution).

Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang

Browse the full TACAS paper archive.