Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Ugo de'Liguoro, HernĂ n C. Melgratti, Emilio Tuosto
Journal title: Journal of Logic and Algebraic Methods in Programming
Journal number: Volume 127, June 2022
Journal publisher: ScienceDirect
Published year: 2022
Published pages: 100776 - 100800
DOI identifier: 10.1016/j.jlamp.2022.100776
ISSN: 2352-2208