Lukas Convent

On Tech, Math, Teaching

Trends in Software Synthesis

Presentation and final summary as contribution to the seminar „Trends in Software Synthesis“