Advanced Formal Verification by Rolf Drechsler: New

Formal System Verification: State-of the-Art and Future Trends by Rolf Drechsler

Advanced Formal Verification by Rolf Drechsler (English) Paperback Book

Advanced Formal Verification by Rolf Drechsler (English) Hardcover Book

Embedding Sequential Circuits for their Polynomial Formal Verification by Caroli

Advanced Verification Techniques: A SystemC Based Approach By Leena Singh

Traditional Logic II: Advanced Formal Logic (Teacher Key) 2nd edition

Handbook of Formal Analysis and Verification in Cryptography, Paperback by Ak...