1
Published 2005
Table of Contents: ... Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond...
View full text
Electronic eBook