DMCA

Automated cyclic entailment proofs in separation logic (2011)

by James Brotherston , Dino Distefano , Rasmus L. Petersen
Venue:In CADE’11
Citations:7 - 1 self