"jStar: towards practical verification for java."

Dino Distefano, Matthew J. Parkinson (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics