2001/07/01 by Edmund Clarke, Edmund M. Clarke, Armin Biere +2 · 2 citations
Computer Science · #Formal Methods in Verification #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
paper · doi:10.1023/a:1011276507260
crossref issued 2001/07/01 · crossref published 2001/07/01 · crossref published-print 2001/07/01 · openalex publication_date 2001/07/01 · crossref created 2002/12/23 · openalex created_date 2016/06/24 · crossref deposited 2025/08/05 · openalex updated_date 2026/08/01 · crossref indexed 2026/08/01