Software Verification and Analysis
Subtitle: An Integrated, Hands-On Approach
Publisher: Springer London, Limited
Published: 2009
Language: eng
ISBN-13: 9781848822405