A Type-Theoretic Memory Model for Verification of Sequential Java Programs (1999)

by J van den Berg, M Huisman, B Jacobs, E Poll
Venue:In WADT, volume 1827 of LNCS