Moussa Demba

	2004
5		Moussa Demba, Khaled Bsaïes: Appropriate lemmae discovery. Inf. Sci. 163(4): 221-237 (2004)
	2003
4		Moussa Demba, Francis Alexandre, Khaled Bsaïes: Correction de Conjectures Fausses par Synthèse de Programmes. JFPLC 2003: 307-310
3		Francis Alexandre, Khaled Bsaïes, Moussa Demba: Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. LOPSTR 2003: 20-33
2		Francis Alexandre, Khaled Bsaïes, Moussa Demba: Correction de conjectures fausses par synthèse de programmes. Technique et Science Informatiques 22(1): 307-310 (2003)
	2002
1		Moussa Demba, Khaled Bsaïes: Découverte de lemmes par instanciation de métavariables dans les preuves par récurrence. JFPLC 2002: 227-

Coauthor Index

1	Francis Alexandre	[2] [3] [4]
2	Khaled Bsaïes	[1] [2] [3] [4] [5]