On the Expressive Power of Canonical Abstraction.

Shmuel Sagiv

Browse the full VMCAI paper archive.