Automated Technology for Verification and Analysis: 19th by Zhe Hou PAPERBACK

String Analysis for Software Verification and Security - 9783319686684

Automated Technology for Verification and Analysis: 14th International Sympo...

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

String Analysis for Software Verification and Security, Hardcover by Bultan, ...

Software Verification and Analysis - 9781849968294

Software Verification and Analysis - 9781848822399

Bultan - String Analysis for Software Verification and Security - New - X555z