What's Decidable About Arrays?

著者: Aaron R. Bradley, Zohar Manna, Henny B. Sipma - Lecture notes in computer science 2005 被引用: 291