Authors: Flanagan, C Joshi, R Leino, KRM

Citation: C. Flanagan et al., Annotation inference for modular checkers, INF PROCESS, 77(2-4), 2001, pp. 97-108

Authors: Leino, KRM

Citation: Krm. Leino, Real estate of names, INF PROCESS, 77(2-4), 2001, pp. 169-171

Authors: Joshi, R Leino, KRM

Citation: R. Joshi et Krm. Leino, A semantic approach to secure information flow, SCI COMP PR, 37(1-3), 2000, pp. 113-138

Authors: Leino, KRM Stata, R

Citation: Krm. Leino et R. Stata, Virginity: A contribution to the specification of object-oriented software, INF PROCESS, 70(2), 1999, pp. 99-105