Static analysis: 8th international symposium, sas 2001, paris, france, july 16-18, 2001. proceedings: 8th: international symposium, sas 2001, paris, france, july 16-18, 2001 - proceedings
Auteur :
Cousot, Patrick
ISBN :
9783540423140
Date de publication :
4 juil. 2001
Dimensions :
23,4 x 15,6 x 2,3 cm
Poids :
635 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, France, in July 2001. The 21 revised full papers presented together with two invited papers were carefully reviewed and selected from 62 submissions.