Static Analysis - Lecture Notes in Computer Science
Latest Publications


TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540634683, 9783540695769

Author(s):  
Suresh Jagannathan ◽  
Stephen Weeks ◽  
Andrew Wright

Author(s):  
Loïc Correnson ◽  
Etienne Duris ◽  
Didier Parigot ◽  
Gilles Roussel

Sign in / Sign up

Export Citation Format

Share Document