Verification Series
Combining learning with formal synthesis
16th September 2022, 11:00
Sadegh Souudjani
Newcastle University
Maintained by Alexei Lisitsa
16th September 2022, 11:00
Sadegh Souudjani
Newcastle University
Maintained by Alexei Lisitsa