Dieumegard, Arnaud, 1985-...., docteur en informatique
VIAF ID: 834144647709575707839 ( Personal )
Permalink: http://viaf.org/viaf/834144647709575707839
Preferred Forms
Works
Title | Sources |
---|---|
Formal Guaranties for Safety Critical Code Generation : the Case of Highly Variable Languages | |
Garanties formelles pour la génération de code critique : L’affaire des langages fortement variables. |