par Filiot, Emmanuel ;Jecker, Ismaël Robin ;Löding, Christof;Muscholl, Anca;Puppis, Gabriele;Winter, Sarah
Référence Proceedings - Symposium on Logic in Computer Science, 33
Publication Publié, 2024-07-01
Référence Proceedings - Symposium on Logic in Computer Science, 33
Publication Publié, 2024-07-01
Article révisé par les pairs
Fichier(s) déposé(s) par l'encodeur |