Software Verification and Analysis: An Integrated, Hands-On Approach Publisher: Springer | Pages: 234 | 2009-03-30 | ISBN 1848822391 | PDF | 2 MB This book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program...