Ramos, J. ; Rasga, J. ; Sernadas, C. ; Viganò, L.
Journal of Logical and Algebraic Methods in Programming Vol. 121, Nº 100684, pp. 1 - 28, June, 2021.
ISSN (print): 2352-2208
ISSN (online): 2352-2216
Scimago Journal Ranking: 0,62 (in 2021)
Digital Object Identifier: 10.1016/j.jlamp.2021.100684
