Journal of Logical and Algebraic Methods in Programming

Journal Article

J. Espírito Santo

L. Pinto

T. Uustalu

Publication

Year of publication: 2022

Volume: 127

Identifiers

ISSN: 23522216 23522208

Other: 2-s2.0-85129234344

Locators

URL: https://doi.org/10.1016/j.jlamp.2022.100775

DOI: 10.1016/j.jlamp.2022.100775

Alternative Titles