|
Search the dblp DataBase
Christophe Leclère:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
Automated Behavioural Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1997, pp:189-200 [Conf]
- Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
Automated Verification of Behavioural Properties of Prolog Programs. [Citation Graph (0, 0)][DBLP] ASIAN, 1997, pp:225-238 [Conf]
- Dante Baldan, Baudouin Le Charlier, Christophe Leclère, Isabelle Pollet
A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury. [Citation Graph (0, 0)][DBLP] LOPSTR, 1998, pp:21-40 [Conf]
- Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
Automated Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1999, v:39, n:1-3, pp:3-42 [Journal]
Search in 0.001secs, Finished in 0.001secs
|