Software Verification and Analysis: An Integrated, Hands-On Approach
by Janusz Laski,William Stanley
ISBN 13: 9781848822399
Format: Illustrated (252 pages) Publisher: Springer Published: 03 Apr 2009
Save for later
ISBN 13: 9781849968294
Format: Paperback (244 pages) Publisher: Springer Published: 13 Oct 2010