Software Verification and Analysis
Subtitle: An Integrated, Hands-On Approach
Publisher: Springer; Brand: Springer
Published: Nov 05, 2010
Format: paperback
Number of pages: 244
ISBN-13: 9781849968294
Notes: Source title: Software Verification and Analysis: An Integrated, Hands-On Approach