Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected ... Computer Science and General Issues)
by
ISBN 13: 9783540278290
Format: Paperback (406 pages) Publisher: Springer Published: 08 Jul 2005
Save for later
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised ... / Programming and Software Engineering)
ISBN 13: 9783540326045
Format: Paperback (275 pages) Publisher: Springer Published: 06 Apr 2006
Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ... / Programming and Software Engineering)
ISBN 13: 9783540779643
Format: Paperback (267 pages) Publisher: Springer Published: 01 Feb 2008