Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings / Patrick Cousot (ed.).

Conference Author: International Static Analysis Symposium (8th : 2001 : Paris, france)
Published: Berlin ; New York : Springer, [2001]
Copyright Date: ©2001
Physical Description: xi, 436 pages : illustrations ; 24 cm.
Additional Creators: Cousot, Patrick, 1948-