DMCA

Separation Logic Tutorial (2008)

by Peter O'Hearn
Venue: (TO APPEAR IN PROCEEDINGS OF ICLP’08)
Citations:1 - 0 self