String Analysis for Software Verification and Security by Tevfik Bultan (English

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

Guide to Software Verification with Frama-C: Core Components, Usages, and

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

String Analysis for Software Verification and Security - 9783319686684

Software Testing: Concepts and Operations by Ali Mili (English) Hardcover Book