Formal Verification of Floating-Point Hardware Design - 9783030871802

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach b

Formal Verification of Floating-Point Hardware Design - 9783030871833

Kurshan - Computer-Aided Verification A Special Issue of Formal Meth - X555z

Staunstrup - A Formal Approach to Hardware Design - New paperback or s - X555z

Balarin - Hardware-Software Co-Design of Embedded Systems The Polis A - X555z

Drechsler - Formal Verification of Circuits - New paperback or softbac - X555z

Dasgupta - A Roadmap for Formal Property Verification - New paperback - X555z