The LOOP compiler for Java and JML (2001)

by J v d Berg, B Jacobs
Venue:Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 2031 of Lecture Notes in Computer Science