What's Decidable About Arrays?

Aaron R. Bradley, Zohar Manna, Henny B. Sipma

Browse the full VMCAI paper archive.