formal specifications
Recently Published Documents
TOTAL DOCUMENTS
504
(FIVE YEARS 43)
H-INDEX
21
(FIVE YEARS 2)
2021 ◽
2021 ◽
2021 ◽
Vol 24
(5)
◽
pp. 902-922
2021 ◽
2021 ◽
pp. 1748006X2110349
2021 ◽
Vol 12
(2)
◽
pp. 46-67