-
Patrick Cousot.
Discrete Fixpoint Approximation Methods in Program Static Analysis.
Seventh International Colloquium on Numerical Analysis and Computer Science
with Applications, NACSA'98, Plovdiv, Bulgaria, August 13-17, 1998.
- Abstract: compressed postscript
- Transparents/Slides: PDF (207 K)