DMCA

Machine-verified network controllers (2013)

by Arjun Guha , Mark Reitblatt , Nate Foster
Venue:In PLDI
Citations:23 - 6 self