DMCA

A decision procedure for satisfiability in separation logic with inductive predicates, in: LICS’14 (2014)

by James Brotherston , Carsten Fuhs , Juan A. Navarro Pérez , Nikos Gorogiannis
Citations:10 - 5 self