![](/img/cover-not-exists.png)
[ACM Press the 14th International Conference - Heraklion, Greece (2018.12.04-2018.12.07)] Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies - CoNEXT '18 - Verification of P4 programs in feasible time using assertions
Neves, Miguel, Freire, Lucas, Schaeffer-Filho, Alberto, Barcellos, MarinhoYear:
2018
Language:
english
DOI:
10.1145/3281411.3281421
File:
PDF, 1.80 MB
english, 2018