Speed: Symbolic complexity bound analysis. (2009)

by S Gulwani
Venue:In Computer Aided Verification,