par Bouyer, Patricia P.;Brenguier, Romain 
;Markey, Nicolas N.; [et al.]
Référence Logical methods in computer science
Publication A Paraître, 2015
;Markey, Nicolas N.; [et al.]Référence Logical methods in computer science
Publication A Paraître, 2015
Article révisé par les pairs
| Titre: |
|
| Auteur: | Bouyer, Patricia P.; Brenguier, Romain; Markey, Nicolas N.; et al. |
| Informations sur la publication: | Logical methods in computer science |
| Statut de publication: | A Paraître, 2015 |
| Sujet CREF: | Informatique générale |
| Langue: | N/A |
| Identificateurs: | urn:issn:1860-5974 |
