Correct Software by Design for Software-Defined Networking: A preliminary Study.

Liang Hao, Xin Sun, Lan Lin, Zedong Peng

Browse the full SEKE paper archive.