DMCA

K.: Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction. Technical Memorandum ROSAEC-2009-004, Research On Software Analysis for Error-Free Computing (2009)

by Yungbum Jung , Soonho Kong , Bow-yaw Wang , Kwangkeun Yi
Citations:6 - 0 self