DMCA

What’s decidable about arrays (2006)

by Aaron R. Bradley , Zohar Manna , Henny B. Sipma
Venue:In Proc. VMCAI, LNCS 3855
Citations:129 - 1 self