par  Filiot, Emmanuel  ;Jecker, Ismaël Robin
;Jecker, Ismaël Robin  ;Löding, Christof;Muscholl, Anca;Puppis, Gabriele;Winter, Sarah
;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
           ;Jecker, Ismaël Robin
;Jecker, Ismaël Robin  ;Löding, Christof;Muscholl, Anca;Puppis, Gabriele;Winter, Sarah
;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
                                                                                                       
			Article révisé par les pairs
                                                  
        


