Extended static checking for Java (0)

by C Flanagan, K R M Leino, M Lillibridge, G Nelson, J B Saxe, R Stata
Venue:In PLDI ’02