Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications
TOTAL DOCUMENTS
30
(FIVE YEARS 30)
H-INDEX
5
(FIVE YEARS 5)
Published By Springer International Publishing
9783030255428, 9783030255435
2019 ◽
pp. 267-285
Keyword(s):