par Dave, Vrunda;Filiot, Emmanuel
;Krishna, Shankara Narayanan;Lhote, Nathan 
Référence Logical methods in computer science, 18, 2
Publication Publié, 2022-01-01


Référence Logical methods in computer science, 18, 2
Publication Publié, 2022-01-01
Article révisé par les pairs
Fichier(s) déposé(s) par l'encodeur |