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
Keyword(s):