Finding Loop Invariants for Programs over Arrays Using a Theorem Prover (2009)

Cached

Download Links

by Laura Kovács , Andrei Voronkov
Venue:In Proc. of FASE
Citations:23 - 2 self