SREcon19 Europe/Middle East/Africa - Applicable and Achievable Formal Verification

Name: SREcon19 Europe/Middle East/Africa - Applicable and Achievable Formal Verification
Duration: 32 min 34 s
Description: SREcon19 Europe/Middle East/Africa - Applicable and Achievable Formal Verification — a USENIX security conference talk (32:34 min). Watch the full video, indexed free on the Breach Arc Archive.

USENIX · 32:34

▶

SREcon19 Europe/Middle East/Africa - Applicable and Achievable Formal Verification — a USENIX security conference talk (32:34 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

← Back to the Breach Arc Archive