From Program Verification to Synthesis Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Noemi Passing, Malte Schledjewski

Instructors

Raven Beutner
Contact: ( )
Tutorial #3: Wednesday, 10:15 in

Bernd Finkbeiner
Contact: ( )

Hadar Frenkel
Contact: ( )
Tutorial #1: Wednesday, 10:15 in

Noemi Passing
Contact: ( )
Tutorial #4: Wednesday, 10:15 in

Malte Schledjewski
Contact: ( )
Tutorial #2: Wednesday, 10:15 in