Advanced Formal Verification by Drechsler

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

Advanced Formal Verification by Rolf Drechsler (English) Paperback Book

Formal Verification of Circuits by Rolf Drechsler: New

Advanced Formal Verification by Rolf Drechsler (English) Hardcover Book

Towards One-Pass Synthesis by Rolf Drechsler: New

Evolutionary Algorithms for Embedded System Design by Rolf Drechsler: New

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