Static analysis
Cousot, Patrick
Static analysis - Berlin Springer Verlag 1993 - Lecture notes in computer science .
3540572643
Static analysis
Static analysis - Berlin Springer Verlag 1993 - Lecture notes in computer science .
3540572643
Static analysis