Software Verification and Analysis - 9781849968294

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

Software Verification and Analysis : An Integrated, Hands-On Approach, Hardco...

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

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

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

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