Lukas Convent

Über Technologie, Naturwissenschaften und Lernen

Trends in der Softwaresynthese

Präsentation und Zusammenfassung als Seminarbeitrag „Trends in Software Synthesis“

Folien für die Präsentation „Synthesis Modulo Recursive Functions“ (auf Englisch; basierend auf einer Publikation von Etienne Kneuss et al.)
Abschließende Zusammenfassung (in Englisch)