Sound up-to techniques and Complete abstract domains.

Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic

Browse the full LICS paper archive.