| 1999 |
|---|
| 4 | | Baudouin Le Charlier,
Christophe Leclère,
Sabina Rossi,
Agostino Cortesi:
Automated Verification of Prolog Programs.
J. Log. Program. 39(1-3): 3-42 (1999) |
| 1998 |
|---|
| 3 | EE | Dante Baldan,
Baudouin Le Charlier,
Christophe Leclère,
Isabelle Pollet:
A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury.
LOPSTR 1998: 21-40 |
| 1997 |
|---|
| 2 | | Baudouin Le Charlier,
Christophe Leclère,
Sabina Rossi,
Agostino Cortesi:
Automated Behavioural Verification of Prolog Programs.
APPIA-GULP-PRODE 1997: 189-200 |
| 1 | | Baudouin Le Charlier,
Christophe Leclère,
Sabina Rossi,
Agostino Cortesi:
Automated Verification of Behavioural Properties of Prolog Programs.
ASIAN 1997: 225-238 |
