par Baumeler, Amin;Tselentis, Eleftherios Ermis ;Wolf, Stefan
Référence Journal of Logical and Algebraic Methods in Programming, 151, 101133
Publication Publié, 2026-09
Article révisé par les pairs
Fichier importé via le DOI