Refinement types for program analysis (1996)

by Mario Coppo, Ferruccio Damiani, Paola Giannini
Venue:In Third International Symposium on Static Analysis