Ryan Beckett, Nick Giannarakis, Devon Loher, David Walker. NV: An intermediate language for network verification. In Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages, NetPL@SIGCOMM 2019, Beijing, China, August 23, 2019. pages 3-4, ACM, 2019. [doi]
No reviews for this publication, yet.