Cousot, Patrick.
Overview
Works: | 1 works in 0 publications in 0 languages |
---|
Titles
Static analysis8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings /
by:
(1998 :); Cousot, Patrick.; SpringerLink (Online service)
(Electronic resources)