DMCA

Quantified invariant generation using an interpolating saturation prover (2008)

Cached

Download Links

by K. L. Mcmillan
Venue:In TACAS
Citations:49 - 4 self