Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation
Latest Publications


TOTAL DOCUMENTS

24
(FIVE YEARS 24)

H-INDEX

1
(FIVE YEARS 1)

Published By Springer International Publishing

9783030945824, 9783030945831

Author(s):  
Chen Fu ◽  
Ernst Moritz Hahn ◽  
Yong Li ◽  
Sven Schewe ◽  
Meng Sun ◽  
...  

Author(s):  
Yoni Zohar ◽  
Ahmed Irfan ◽  
Makai Mann ◽  
Aina Niemetz ◽  
Andres Nötzli ◽  
...  

Author(s):  
Tobias Seufert ◽  
Christoph Scholl ◽  
Arun Chandrasekharan ◽  
Sven Reimer ◽  
Tobias Welp

Sign in / Sign up

Export Citation Format

Share Document