Mapped separation logic (2008)

by Rafal Kolanski, Gerwin Klein
Venue:In Proc. VSTTE’08