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
;Wolf, StefanRéférence Journal of Logical and Algebraic Methods in Programming, 151, 101133
Publication Publié, 2026-09
Article révisé par les pairs



