Correction de Conjectures Fausses par Synthèse de Programmes.

Moussa Demba Francis Alexandre Khaled Bsaïes

Published in: JFPLC (2003)

Keyphrases

higher education
inductive inference
m learning
theorem prover
error detection
database
metadata
case study
optimal solution
error correction