Threat Assessment and Risk Analysis Textbook by Allen Derr

String Analysis for Software Verification and Security Tevfik Bul

Software Engineering: Analysis and Verification - Hardcover 1982 T.G. Lewis

SECURITY ANALYSIS-The Classic 1940 Second Edition-Graham & Dodd-BRAND NEW HC DJ!

String Analysis for Software Verification and Security - 9783319686684

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

Adapted Wavelet Analysis: From Theory to Software, Wickerhauser, Mladen Victor,

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