DMCA

Automatically Generating Loop Invariants Using Quantifier Elimination (2004)

by Deepak Kapur
Venue:APPLICATIONS OF COMPUTER ALGEBRA (ACA-2004)
Citations:42 - 5 self