Static analysis  8th international symposium, Paris, France, July 16 - 18, 2001 ; proceedings 
 SAS 2001 
SAS 2001. Patrick Cousot (ed.) 
 - XI, 436 S.  graph. Darst.  24 cm 
 - Lecture notes in computer science  2126 .
 -  212600 .
 - Lecture notes in computer science  2126 .
<br/><br/>Static Analysis 
<br/><br/><label>ISBN: </label>3540423141  brosch. : DM 98.00 
<br/><br/><label>Standard No.: </label>9783540423140 
<br/><br/><label>Nat. Bib. No.: </label>01,N28,0450  dnb 01,A34,0969  dnb 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>961727764  DE-101 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming--Congresses<br/>Programming languages (Electronic computers)--Congresses<br/>Computer programming--Congresses<br/>Programming languages (Electronic computers)--Congresses
<br/><br/><label>Subjects--Index Terms: </label>
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Konferenzschrift--Paris--2001