| Khaled Ben Khalifa < Khaled Bsaies < Khaled Bsaïes | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 12.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000932 (2003) | Moussa Demba ; Francis Alexandre ; Khaled Bsaies | Correction de conjectures fausses par synthèse de programmes |
| 000C86 (2003) | Moussa Demba ; Khaled Bsaies ; Francis Alexandre | Correcting Faulty Conjectures by Logic Program Synthesis |
| 000D76 |