CAV-Keynote--7-23-Room (video: https://youtu.be/25RhyyOg5Pg)
Youtube video: https://youtu.be/25RhyyOg5Pg
Sessions
- Session 6 (Jul 23 08:00-09:00) CAV Keynote B
|
|
CAV 2020: 32ND INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION
CAV-Keynote--7-23-Room (video: https://youtu.be/25RhyyOg5Pg)
Youtube video: https://youtu.be/25RhyyOg5Pg Sessions
|
|