1 search result for "author:"Caleb Koch <cak247@cornell.edu>""

Showing 1 - 1
  1. netkat

    No documentation

    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
    18 Feb 2020