jStar: towards practical verification for java.

Dino Distefano, Matthew J. Parkinson

Browse the full OOPSLA paper archive.