An Extension to Pointer Logic for Verification.

Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian

Browse the full TASE paper archive.