Martin-Dorel, Erik, 1986-...., enseignant-chercheur en informatique
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Martin-Dorel, Erik 1986-...
VIAF ID: 281663050 (Personal)
Permalink: http://viaf.org/viaf/281663050
Preferred Forms
Works
| Title | Sources |
|---|---|
| Contributions à la vérification formelle d'algorithmes arithmétiques |
|
