Login / Signup

The Effects of Adding Reachability Predicates in Quantifier-Free Separation Logic.

Stéphane DemriÉtienne LozesAlessio Mansutti
Published in: ACM Trans. Comput. Log. (2021)
Keyphrases