Annotation inference for modular checkers. Information Processing Letters (to appear (2001)

by C Flanagan, R Joshi, K R M Leino