Software Verification and Validation for Practitioners and Managers, Second ...

Software Quality Approaches: Testing, Verification, and Validation: Software...

Guide to Software Verification with Frama-C - 9783031556104

Introducing Software Verification w..., Sitnikovski, Bo

Software Verification and Analysis: An Integrated, Hands-On Approach, Stanley, W

Validation and Verification of Formal Specifications in Object-Oriented Software

Logic Synthesis and Verification Algorithms by Hachtel

Empirical Software Engineering and Verification - 9783642252303