Notice détaillée
Titre
Koukoutos, Manos
Sciper ID
237040
Laboratoires affiliés
LARA
Publications
An Update on Deductive Synthesis and Repair in the Leon Tool
On Deductive Program Repair in Leon
Scaling Functional Synthesis and Repair
Synthesizing Functions from Relations in Leon
On Deductive Program Repair in Leon
Scaling Functional Synthesis and Repair
Synthesizing Functions from Relations in Leon
Employé pour
Koukoutos, Emmanouil
Toutes les ressources
Toutes les ressources
Le document apparaît dans
Authorities > People