Rieg, Lionel, 1986-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 310746735 (Personal)
Permalink: http://viaf.org/viaf/310746735
Preferred Forms
Works
| Title | Sources |
|---|---|
| Conception, implémentation et preuve d'un service de transfert de flôt d'exécution au sein d'un noyau de système d'exploitation |
|
| On Forcing and Classical Realizability |
|
