Logical Reasoning for Program Verification and Synthesis

Topic Assignment

Written on 04.11.2024 07:57 by Rayna Dimitrova

Dear Students,

the topic assignment in now available on the "Topic Assignment" page.

In case of any questions, please lt me know.

Best regards,

Rayna