From Program Verification to Synthesis

Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Noemi Passing, Malte Schledjewski

Instructors

Bild
Raven Beutner
Contact: show mail
Tutorial #3: Wednesday, 10:15 in
Bild
Bernd Finkbeiner
Contact: show mail
Bild
Hadar Frenkel
Contact: show mail
Tutorial #1: Wednesday, 10:15 in
Bild
Noemi Passing
Contact: show mail
Tutorial #4: Wednesday, 10:15 in
Bild
Malte Schledjewski
Contact: show mail
Tutorial #2: Wednesday, 10:15 in
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.