Courtieu, Pierre, 19..-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 23161512257470562936 (Personal)
Permalink: http://viaf.org/viaf/23161512257470562936
Preferred Forms
Works
| Title | Sources |
|---|---|
| Challenges in the collaborative evolution of a proof language and its ecosystem |
|
| Défis dans l'évolution collaborative d'un langage de preuve et de son écosystème. |
|
| Parameterised extension of certified compiler for parallel programming. |
|
