Practical tactics for separation logic (2009)

by Andrew Mccreight
Venue:In TPHOLs, volume 5674 of LNCS
Citations:7 - 1 self