EPFL videos and channels have moved to mediaspace.epfl.ch. Find out more…
https://tube.switch.ch/videos/oTm0zFBy0d
24 September 2021, Viktor Kuncak, 110 views
Live recording of lecture 01 of Formal Verification EPFL course, as given on 2021-09-23 from 15:15-16:45.
Viewable by everyone. All rights reserved.