Exploiting the SAT Revolution for Automated Software Verification and Synthesis
Added on Wed Apr 14 13:32:00 BST 2021
Duration: 0:49:57
Remove Video
Subtitle request
The subtitle request has been submitted.
Please allow up to 24 hours for the subtitles to be published. For more information see mypodcasts.manchester.ac.uk/subtitles
Please allow up to 24 hours for the subtitles to be published. For more information see mypodcasts.manchester.ac.uk/subtitles
Subtitle request
Subtitles are already available for this video.
To request new subtitles, contact podcasting@manchester.ac.uk
To request new subtitles, contact podcasting@manchester.ac.uk