| |
| 1999 | ||
|---|---|---|
| 3 | EE | Yann Rouzaud: Interpreting the B-Method in the Refinement Calculus. World Congress on Formal Methods 1999: 411-430 |
| 1998 | ||
| 2 | EE | Marie-Laure Potet, Yann Rouzaud: Composition and Refinement in the B-Method. B 1998: 46-65 |
| 1992 | ||
| 1 | Yann Rouzaud, Lan Nguyen-Phuong: Integrating Modes and Subtypes into a Prolog Type-Checker. JICSLP 1992: 85-97 | |
| 1 | Lan Nguyen-Phuong | [1] |
| 2 | Marie-Laure Potet | [2] |