Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll. A Type-Theoretic Memory Model for Verification of Sequential Java Programs. In Didier Bert, Christine Choppy, Peter D. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT 99, Château de Bonas, France, September 15-18, 1999, Selected Papers. Volume 1827 of Lecture Notes in Computer Science, pages 1-21, Springer, 1999.
Abstract is missing.