| |
| 2008 | ||
|---|---|---|
| 1 | EE | Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang: Certified Development Tools Implementation in Objective Caml. PADL 2008: 2-17 |
| 1 | Olivier Andrieu | [1] |
| 2 | Benjamin Canou | [1] |
| 3 | Emmanuel Chailloux | [1] |
| 4 | Jean-Louis Colaço | [1] |
| 5 | Bruno Pagano | [1] |
| 6 | Philippe Wang | [1] |