| |
| 2006 | ||
|---|---|---|
| 2 | EE | Isabelle Dony, Baudouin Le Charlier: A tool for helping teach a programming method. ITiCSE 2006: 212-216 |
| 2004 | ||
| 1 | EE | Isabelle Dony, Baudouin Le Charlier: A Program Verification System Based on Oz. MOZ 2004: 41-52 |
| 1 | Baudouin Le Charlier | [1] [2] |