Approximate fixed points in abstract interpretation (1992)

by C Hankin, S Hunt
Venue:ESOP '92, 4th European Symposium on Programming, volume 582 of LNCS