Speaker Deck

SYMNET — A Tool for Static Network Verification

by Bucharest FP

Published September 24, 2014 in Programming

http://bucharestfp.ro/2014/09/24/symnet-a-tool-for-static-network-verification/

Explore
0 Stars

Other Presentations by this Speaker

Thumb_slide_0

DeviceGraph — Clustering Devices into People at Adobe with Apache Spark

Apr 19, 2017 by Bucharest FP

Thumb_slide_0

Functional Programming Inception

Mar 14, 2017 by Bucharest FP

Thumb_slide_0

Equational Reasoning in Programming

Jun 21, 2016 by Bucharest FP