Extended static checking for Java (2002)

by C Flanagan, K R M Leino, M Lillibridge, G Nelson, J B Saxe, R Stata
Venue:In Programming Language Design and Implementation