https://tube.switch.ch/videos/oTm0zFBy0d
<iframe width="640" height="360" src="https://tube.switch.ch/embed/oTm0zFBy0d" frameborder="0" allow="fullscreen" allowfullscreen></iframe>
Live recording of lecture 01 of Formal Verification EPFL course, as given on 2021-09-23 from 15:15-16:45.
Published by Viktor Kuncak, École polytechnique fédérale de Lausanne (EPFL) on 24 September 2021
Duration: 28:15
License: All rights reserved
Viewable by everyone.
46 views
Download video