Separation Logic with One Quantified Variable.

Stphane Demri, Didier Galmiche, Dominique Larchey-Wendling, Daniel Mry

Browse the full CSR paper archive.