![]() | ![]() |
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 | M. Samia | [1] |