Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Armin Biere
Out of stock
Format: Book (Paperback / softback)
Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
Armin Biere
Download - Immediately Available
Format: eBook (PDF)