72
Voted
SE
2007
15 years 8 days ago
2007
: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics cov...