01-01-Live1, Introduction to Formal Verification

CS-550 Formal Verification

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.