| |
| 2008 | ||
|---|---|---|
| 4 | EE | Wim Vanhoof, François Degrave: An Algorithm for Sophisticated Code Matching in Logic Programs. ICLP 2008: 785-789 |
| 3 | EE | François Degrave: Development of an Automatic Testing Environment for Mercury. ICLP 2008: 805-806 |
| 2 | EE | François Degrave, Tom Schrijvers, Wim Vanhoof: Automatic Generation of Test Inputs for Mercury. LOPSTR 2008: 71-86 |
| 2007 | ||
| 1 | EE | François Degrave, Wim Vanhoof: Towards a Normal Form for Mercury Programs. LOPSTR 2007: 43-58 |
| 1 | Tom Schrijvers | [2] |
| 2 | Wim Vanhoof | [1] [2] [4] |