Similar Listings
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