Decision Procedures for Verification and Synthesis

Rayna Dimitrova

News

List news

Topic assignment and presentations schedule

Written on 22.04.2021 08:39 by Rayna Dimitrova

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

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.