Compositional Satisfiability Solving in Separation Logic.

Quang Loc Le

Browse the full VMCAI paper archive.