Automatically generating loop invariants using quantifier elimination (2005)

Cached

Download Links

by Deepak Kapur
Venue:In Deduction and Applications
Citations:27 - 0 self