Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry. Separation Logic with One Quantified Variable. Theory Comput. Syst., 61(2):371-461, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.