| |
| 2005 | ||
|---|---|---|
| 2 | EE | Jérôme Rocheteau: lambda-µ-Calculus and Duality: Call-by-Name and Call-by-Value. RTA 2005: 204-218 |
| 1 | EE | Samuel Colin, Dorian Petit, Vincent Poirriez, Jérôme Rocheteau, Rafael Marcano, Georges Mariano: BRILLANT : An Open Source and XML-based platform for Rigourous Software Development. SEFM 2005: 373-382 |
| 1 | Samuel Colin | [1] |
| 2 | Rafael Marcano | [1] |
| 3 | Georges Mariano | [1] |
| 4 | Dorian Petit | [1] |
| 5 | Vincent Poirriez | [1] |