Extended Static Checking for Java (2002)

by C Flanagan, K R M Leino, M Lilibridge, G Nelson, J B Saxe, R Stata
Venue:in ACM Conf. Programming Language Design and Implementation (PLDI