| 2008 | ||
|---|---|---|
| 1 | Jens Bendisposto, Michael Leuschel, O. Ligot, Mireille Samia: La validation de modèles Event-B avec le plug-in ProB pour RODIN. Technique et Science Informatiques 27(8): 1065-1084 (2008) | |
| 1 | Jens Bendisposto | [1] |
| 2 | Michael Leuschel | [1] |
| 3 | Mireille Samia | [1] |