DFG-Projekt

DFG-Projekt "Effiziente Algorithmen zur induktiven Programmsynthese" im August 2007 bewilligt.