Array abstractions from proofs (2007)

Cached

Download Links

by Ranjit Jhala , Kenneth L. Mcmillan
Venue:CAV, volume 4590 of LNCS
Citations:33 - 3 self