Petrucci - Critical Systems Formal Methods and Automated Verification - X555z

ter Beek - Critical Systems Formal Methods and Automated Verification - X555z

Schneider - Verification of Reactive Systems Formal Methods and Algo - X555z

Margaria - Leveraging Applications of Formal Methods Verification and - X555z

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

Kreowski - Formal Methods in Software and Systems Modeling Essays De - X555z

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

Jones - Formal Methods and Hybrid Real-Time Systems Essays in Honour - X555z