Complementation in abstract interpretation (1997)

by A Cortesi, G File, R Giacobazzi, C Palamidessi, F Ranzato
Venue:ACM Trans. Programming Languages and Systems