String Analysis for Software Verification and Security - 9783319886374

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

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

String Analysis for Software Verification and Security - 9783319686684

Bultan - Automated Technology for Verification and Analysis 9th Inte - X555z

Mukund - Automated Technology for Verification and Analysis 10th Int - X555z

Laski - Software Verification and Analysis An Integrated Hands-On A - X555z