News4
I have been accepted to attend the International Summer School Marktoberdorf 2023, organized by TU Munich on “Safety and Security through Formal Verification”. I will be attending the school from 1st to 12th of August 2023.
I have been accepted to attend the International Summer School Marktoberdorf 2023, organized by TU Munich on “Safety and Security through Formal Verification”. I will be attending the school from 1st to 12th of August 2023.