Christophe Leclère

Publication Activity (10 Years)

Years Active: 1997-1999
Publications (10 Years): 0

Publications

Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
Automated Verification of Prolog Programs. J. Log. Program. 39 (1-3) (1999)
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)
Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
Automated Behavioural Verification of Prolog Programs. APPIA-GULP-PRODE (1997)
Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
Automated Verification of Behavioural Properties of Prolog Programs. ASIAN (1997)