par Filiot, Emmanuel
;Gauwin, Olivier;Lhote, Nathan 
Référence Logical methods in computer science
Publication Publié, 2019-12-31
;Gauwin, Olivier;Lhote, Nathan 
Référence Logical methods in computer science
Publication Publié, 2019-12-31
Article révisé par les pairs
| Titre: |
|
| Auteur: | Filiot, Emmanuel; Gauwin, Olivier; Lhote, Nathan |
| Informations sur la publication: | Logical methods in computer science |
| Statut de publication: | Publié, 2019-12-31 |
| Sujet CREF: | Sciences exactes et naturelles |
| Langue: | Français |
| Identificateurs: | urn:issn:1860-5974 |



