Decision Procedures for Verification and Synthesis

Topic assignment and presentations schedule

Written on 22.04.21 (last change on 22.04.21) by Rayna Dimitrova

The topic assignment and presentations schedule are available in the Materials section.