- CSB - MetaPress - Google - Bing - Yahoo
 | 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 | Julien Auvray | [1] |
| 2 | Stéphane de Belloy | [1] |
| 3 | Frédéric Boniol | [1] |
| 4 | Philippe Dhaussy | [1] |