A type-theoretic memory model for veri of sequential Java programs (2000)

by J v d Berg, M Huisman, B Jacobs, E Poll
Venue:In Recent Trends in Algebraic Development Techniques (WADT'99), D. Bert and C. Choppy, Eds. Number 1827 in LNCS