Matthias Eichholz. Language support for verifiable SDNs. In Eelco Visser, editor, Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016. pages 9-11, ACM, 2016. [doi]
Abstract is missing.