Extended static checking. (1998)

by D L Detlefs, K R M Leino, G Nelson, J B Saxe
Venue:COMPAQ Systems Research Center, 130 Lytton Avenue,