Domain Compression for Complete Abstractions.

Roberto Giacobazzi, Isabella Mastroeni

Browse the full VMCAI paper archive.