Extending Symbolic Heap to Support Shared Ownership.

Jiyang Wu, Qinxiang Cao

Browse the full SETTA paper archive.