36C3 2019 Getting software right with properties, generated tests, and proofs Russian русский tr

Name: 36C3 2019 Getting software right with properties, generated tests, and proofs Russian русский tr
Uploaded: 2019-01-01
Duration: 47 min 15 s
Description: 36C3 2019 Getting software right with properties, generated tests, and proofs Russian русский tr — a 2019 All Hacking Cons (community re-uploads) security conference talk (47:15 min). Watch the full video, indexed free on the Breach Arc Archive.

All Hacking Cons (community re-uploads) · 2019 · 47:15

▶

36C3 2019 Getting software right with properties, generated tests, and proofs Russian русский tr — a 2019 All Hacking Cons (community re-uploads) security conference talk (47:15 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

← Back to the Breach Arc Archive