Keynote: Formal Verification? No, Formal Reasoning!

Name: Keynote: Formal Verification? No, Formal Reasoning!
Uploaded: 2022-11-24T00:00:00.000Z
Duration: 2738 s
Description: Video Keynote: Formal Verification? No, Formal Reasoning!