To refer to this page use:
|Citation:||Beckett, Ryan, Nick Giannarakis, Devon Loher, and David Walker. "NV: An intermediate language for network verification." In Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages (2019), pp. 3-4. doi:10.1145/3341561.3349592|
|Pages:||3 - 4|
|Type of Material:||Conference Article|
|Journal/Proceeding Title:||Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages|
|Version:||Final published version. Article is made available in OAR by the publisher's permission or policy.|
Items in OAR@Princeton are protected by copyright, with all rights reserved, unless otherwise indicated.