SPARK 2014 Hybrid Verification using Proofs and Tests

Name: SPARK 2014 Hybrid Verification using Proofs and Tests
Uploaded: 2014-01-01
Duration: 54 min 12 s
Description: SPARK 2014 Hybrid Verification using Proofs and Tests — a 2014 All Hacking Cons (community re-uploads) security conference talk (54:12 min). Watch the full video, indexed free on the Breach Arc Archive.

All Hacking Cons (community re-uploads) · 2014 · 54:12

▶

SPARK 2014 Hybrid Verification using Proofs and Tests — a 2014 All Hacking Cons (community re-uploads) security conference talk (54:12 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

← Back to the Breach Arc Archive