Cousot, Patrick.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Static analysis = 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings /
by:
Cousot, Patrick.; SpringerLink (Online service); International Static Analysis Symposium (2001 :)
(Language materials, printed)