Laski Books
Software Verification And Analysis: An Integrated, Hands-On Approach
By Janusz Laski, William Deane Stanley, Janusz, Laski
This book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic...
Read More