1 Search Results
netkat
A clean slate implementation of NetKAT
Caleb Koch <cak247@cornell.edu>
Steffen Smolka <smolka@cs.cornell.edu>
Nate Foster <jnfoster@cs.cornell.edu>
0.1
MIT
Used by 0 other packages