A fast compiler for netkat (2015)

by S Smolka, S A Eliopoulos, N Foster, A Guha
Venue:in ICFP