String Analysis for Software Verification and Security - 9783319686684

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

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

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

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

Masys - Networks and Network Analysis for Defence and Security - New p - X555z

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