Verification Series
Combining learning with formal synthesis
16th September 2022, 11:00
Sadegh Souudjani
Newcastle University
Department of Computer Science
,
University of Liverpool
Ashton Street, Liverpool, L69 3BX
United Kingdom
Ashton Street, Liverpool, L69 3BX
United Kingdom
+44 (0)151 795 4275
Call the department
+44 (0)151 795 4275