Introduction - If you have any usage issues, please Google them yourself
Static Analysis
of Software
The Abstract Interpretation
Edited by
Jean-Louis Boulanger
1. Computer software Testing. 2. Debugging in computer science. 3. Computer software Quality
control.