jStar: towards practical verification for Java (2008)

by D Distefano, M J Parkinson
Venue:In OOPSLA