Array abstractions from proofs (2007)

by R Jhala, K McMillan
Venue:In Int. Conf. on Computer Aided Verification