Software dataplane verification

Mihai Dobrescu, Katerina J. Argyraki. Software dataplane verification. Communications of the ACM, 58(11):113-121, 2015. [doi]

No reviews for this publication, yet.