Fictional separation logic (2012)

by J B Jensen, L Birkedal
Venue:In ESOP, volume 7211 of LNCS