Authors: Maessen, JW Sarkar, V Grove, D

Citation: Jw. Maessen et al., Program analysis for safety guarantees in a Java virtual machine written in Java, ACM SIGPL N, 2001, pp. 62-65

Authors: Maessen, JW",Arvind,"Shen, XW

Citation: Xw. Maessen, Jw",arvind,"shen, Improving the Java memory model using CRF, ACM SIGPL N, 35(10), 2000, pp. 1-12