| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September ... Notes in Computer Science, Band 1703) | Taschenbuch | 978-3-540-66559-5 | 2008 | Laurence Pierre |
| Formal Hardware Verification: Methods and Systems in Comparison | Gebunden | 978-3-540-63475-1 | 2008 | |
| Introduction to Formal Hardware Verification | Taschenbuch | 978-3-642-08477-5 | 2010 | |
| Introduction to Formal Hardware Verification | Gebunden | 978-3-540-65445-2 | 1999 | |
| Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September ... Notes in Computer Science , Band 901) | Taschenbuch | 978-3-540-59047-7 | 2008 | Ramayya Kumar |