SREcon20 Americas - Weeks of Debugging Can Save You Hours of TLA+

Name: SREcon20 Americas - Weeks of Debugging Can Save You Hours of TLA+
Duration: 39 min 3 s
Description: SREcon20 Americas - Weeks of Debugging Can Save You Hours of TLA+ — a USENIX security conference talk (39:03 min). Watch the full video, indexed free on the Breach Arc Archive.

USENIX · 39:03

▶

SREcon20 Americas - Weeks of Debugging Can Save You Hours of TLA+ — a USENIX security conference talk (39:03 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

← Back to the Breach Arc Archive