Authors: Colby, C Lee, P Necula, GC Blau, F Plesko, M Cline, K

Citation: C. Colby et al., A certifying compiler for Java, ACM SIGPL N, 35(5), 2000, pp. 95-107