Software Verification and Validation : An Engineering and Scientific Approach by

Verification and Validation of Modern Software-Intensive Systems

Software Verification 12th International Conference VSTTE 2020 an

Christakis - Software Verification 12th International Conference VS - X555z

Guide to Software Verification with Frama-C - 9783031556104

SystemVerilog for Verification: by Spear, Chris, Tumbush, Greg

Numerical Software Verification - 9783319635002

Software Verification and Analysis - 9781848822399