Formal Verification of Object-Oriented Software - 9783642317613

Margaria - Leveraging Applications of Formal Methods Verification and - X555z

Lamprecht - Leveraging Applications of Formal Methods Verification a - X555z

Seotsanyana - Formal Analysis and Verification of Safety Interlock Sys - X555z

Drechsler - Formal Modeling and Verification of Cyber-Physical Systems - X555z

Thomson - Validation and Verification of Formal Specifications in Obje - X555z