CAV-Keynote-07-22-Room (video: https://www.youtube.com/watch?v=cYxxJU-Wt2U)
Youtube video: https://www.youtube.com/watch?v=cYxxJU-Wt2U
Sessions
- Session 4 (Jul 22 08:00-09:00) CAV Keynote A
|
|
CAV 2020: 32ND INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION
CAV-Keynote-07-22-Room (video: https://www.youtube.com/watch?v=cYxxJU-Wt2U)
Youtube video: https://www.youtube.com/watch?v=cYxxJU-Wt2U Sessions
|
|