DMCA

Complexity and algorithms for monomial and clausal predicate abstraction (2009)

by Shuvendu K. Lahiri , Shaz Qadeer
Venue:IN CADE
Citations:5 - 3 self