| |
| 2003 | ||
|---|---|---|
| 1 | Pierre Bazex, Jean-Paul Bodeveix, Thierry Millan, Christophe Le Camus, Christian Percebois: Vérification de modèles UML fondée sur OCL. INFORSID 2003: 185-202 | |
| 1 | Pierre Bazex | [1] |
| 2 | Jean-Paul Bodeveix | [1] |
| 3 | Thierry Millan | [1] |
| 4 | Christian Percebois | [1] |