| |
| 2005 | ||
|---|---|---|
| 2 | 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 |
| 2004 | ||
| 1 | EE | Dorian Petit, Vincent Poirriez, Georges Mariano: Reuse of SML module system for the B language. FDL 2004: 637-649 |
| 1 | Samuel Colin | [2] |
| 2 | Rafael Marcano | [2] |
| 3 | Georges Mariano | [1] [2] |
| 4 | Vincent Poirriez | [1] [2] |
| 5 | Jérôme Rocheteau | [2] |