Array abstractions from proofs (0)

by R Jhala, K L McMillan
Venue:In Damm and Hermanns [10