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

Guide to Software Verification with Frama-C - 9783031556104

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

Software Verification: 12th International Conference, Vstte 2020, and 13th...

Numerical Software Verification - 9783319635002

Christakis - Software Verification 12th International Conference VS - X555z

Software Verification and Analysis - 9781849968294

Software Verification and Analysis - 9781848822399