Re: [isabelle] Starting soonâ Verified Firewall Ruleset Verification



On Tue, 29 Dec 2015, C. Diekmann wrote:

Recording:

 https://media.ccc.de/v/32c3-7195-verified_firewall_ruleset_verification#video

Very interesting. Is there a recording of the original sound -- without the German translation?


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.