44 citations · 148 across the 6 of their papers we have counts for
1 paper · 1 filter
Steffen Smolka, Spiridon Eliopoulos, Nate Foster +1
High-level programming languages play a key role in a growing number of networking platforms, streamlining application development and enabling precise formal reasoning about netwo…