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

Kropf - Formal Hardware Verification Methods and Systems in Comparis - X555z

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

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Appli