Formal Hardware Verification : Methods and Systems in Comparison, Paperback b...

Formal Methods in Software And Systems Modeling, Paperback by Kreowski, Hans-...

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theor,

Formal Hardware Verification: Methods and Systems in Comparison by Thomas Kropf

Dines Bjørner Manfred B Formal Methods in Programming an (Paperback) (UK IMPORT)

Daniel Geist Correct Hardware Design and Verification Me (Paperback) (UK IMPORT)

Critical Systems - Formal Methods and Automated Verification : Joint 22nd Int...