Forschungszusammenfassung zur Implementierung funktionaler Muster durch Synthese inverser Funktionen