Array Abstractions from Proofs (2007)

by R Jhala, K L McMillan
Venue:In Proc. of CAV