Go to content
Go to navigation
Lukas Convent
On Tech, Math, Teaching
Home
Projects
Trends in Software Synthesis
Presentation and final summary as contribution to the seminar
„Trends in Software Synthesis“
Slides for the presentation "Synthesis Modulo Recursive Functions"
(based on the paper of Etienne Kneuss et al.)
Final Summary