Formal Foundations for Software Defined Networks

Arjun Guha, Mark Reitblatt, and Nate Foster
Open Networking Summit (ONS) Research Track, 2013

Our PLDI 2013 paper is the full version of this work.