DMCA

Inferring Quantified Invariants via Algorithmic Learning, Decision Procedures, and Predicate Abstraction (2010)

Cached

Download Links

by Cristina David , Yungbum Jung , Soonho Kong , Bow-yaw Wang , Kwangkeun Yi