Search for "Cornelius Diekmann" returned 1 result

Verified Firewall Ruleset Verification

Math, Functional Programming, Theorem Proving, and an…

• 32 min
• 2015-12-28
• 5.0k
• Cornelius Diekmann
32C3: gated communities