Xavier Rival  <br/><br/>
Introduction to static analysis:   an abstract interpretation perspective 

 - London  The MIT Press  2020 
 - xiv, 299p. 
<br/><br/><label>ISBN: </label>9780262043410 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Statics<br/>Statics analysis<br/>Computer Programming<br/>Program Analysis
<br/><br/><label>Dewey Class. No.: </label>005.1 R521i