| |
| 2008 | ||
|---|---|---|
| 1 | Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel: Un langage de contexte de preuve pour la validation formelle de modèles logiciels. CAL 2008: 173-189 | |
| 1 | Stéphane de Belloy | [1] |
| 2 | Frédéric Boniol | [1] |
| 3 | Philippe Dhaussy | [1] |
| 4 | Eric Landel | [1] |