| |
| 2008 | ||
|---|---|---|
| 1 | EE | Jens Bendisposto, Michael Leuschel, O. Ligot, M. 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 | O. Ligot | [1] |