Preview: Verification (Correctness)

Name: Preview: Verification (Correctness)
Duration: 17 min 44 s
Description: Preview: Verification (Correctness) — a USENIX security conference talk (17:44 min). Watch the full video, indexed free on the Breach Arc Archive.

USENIX · 17:44

▶

Preview: Verification (Correctness) — a USENIX security conference talk (17:44 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

← Back to the Breach Arc Archive