Static Analysis - Lecture Notes in Computer Science
Latest Publications


TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540650140, 9783540497271

Author(s):  
François Fages ◽  
Roberta Gori
Keyword(s):  

Author(s):  
Julio C. Peralta ◽  
John P. Gallagher ◽  
Hüseyin Sağlam

Author(s):  
Patricia M. Hill ◽  
Roberto Bagnara ◽  
Enea Zaffanella
Keyword(s):  

Author(s):  
Deepak Goyal ◽  
Robert Paige

Sign in / Sign up

Export Citation Format

Share Document