DMCA

QBF-Based Formal Verification: Experience and Perspectives

by Hratch Mangassarian
Venue:JSAT
Citations:17 - 0 self