algebraic specifications
Recently Published Documents
TOTAL DOCUMENTS
252
(FIVE YEARS 2)
H-INDEX
20
(FIVE YEARS 0)
2018 ◽
2014 ◽
Vol 25
(4)
◽
pp. 765-804