Invariant Discovery via Failed Proof Attempts (1998)

Cached

Download Links

by Jamie Stark , Andrew Ireland
Venue:In Proc. LOPSTR '98, LNCS 1559
Citations:18 - 2 self