Janusz Laski: 1 book
Software Verification and Analysis
An Integrated, Hands-On Approach
Language: English
Release Date: April 29, 2009
“The situation is good, but not hopeless” (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness. The term quality assurance is avoided for it is this...
