A Decidable Logic for Tree Data-Structures with Measurements.

Xiaokang Qiu, Yanjun Wang

Browse the full VMCAI paper archive.