| |
| * | 2000 | |
|---|---|---|
| 3 | EE | Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud: An Overview of RoZ: A Tool for Integrating UML and Z Specifications. CAiSE 2000: 417-430 |
| 2 | Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud: Vers une intégration utile de notations semi-formelles et formelles : une expérience en UML et Z. L'OBJET 6(1): (2000) | |
| 1998 | ||
| 1 | Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud: Translating the OMT Dynamic Model into Object-Z. ZUM 1998: 347-366 | |
| 1 | Sophie Dupuy-Chessa (Sophie Dupuy) | [1] [2] [3] |
| 2 | Yves Ledru | [1] [2] [3] |