Introducing Software Verification with Dafny Language: Proving Program Correctness

Medical Device Software Verification, Validation and Compliance

Systems and Software Verification: Model-Checking Techniques and Tools

Software Verification and Validation for Practitioners and Managers, Second Edition

Validation and Verification of Formal Specifications in Object-Oriented Software Engineering