software model checking
Recently Published Documents
TOTAL DOCUMENTS
157
(FIVE YEARS 11)
H-INDEX
19
(FIVE YEARS 2)
Keyword(s):
Keyword(s):
Keyword(s):
2019 ◽
Vol 22
(2)
◽
pp. 135-161
◽
Keyword(s):