DMCA

Separation predicates: a taste of separation logic in first-order logic (2012)

by François Bobot , Jean-christophe Filliâtre
Venue:In ICFEM
Citations:3 - 0 self