par Lutz, Carsten;Raskin, Jean-François
Référence IEEE Computer Society Press
Publication Publié, s.d.
Référence IEEE Computer Society Press
Publication Publié, s.d.
Actes de colloque
Titre: |
|
Auteur: | Lutz, Carsten; Raskin, Jean-François |
Informations sur la publication: | IEEE Computer Society Press |
Statut de publication: | Publié, s.d. |
Sujet CREF: | Informatique mathématique |
Langue: | Anglais |