%0 Conference Paper %1 conf/sosp/ZaostrovnykhPIR19 %A Zaostrovnykh, Arseniy %A Pirelli, Solal %A Iyer, Rishabh R. %A Rizzo, Matteo %A Pedrosa, Luis %A Argyraki, Katerina J. %A Candea, George %B SOSP %D 2019 %E Brecht, Tim %E Williamson, Carey %I ACM %K dblp %P 275-290 %T Verifying software network functions with no verification expertise. %U http://dblp.uni-trier.de/db/conf/sosp/sosp2019.html#ZaostrovnykhPIR19 %@ 978-1-4503-6873-5

@inproceedings{conf/sosp/ZaostrovnykhPIR19, added-at = {2024-02-05T00:00:00.000+0100}, author = {Zaostrovnykh, Arseniy and Pirelli, Solal and Iyer, Rishabh R. and Rizzo, Matteo and Pedrosa, Luis and Argyraki, Katerina J. and Candea, George}, biburl = {https://www.bibsonomy.org/bibtex/2fdde7d37b47a87339783a554b0a682d3/dblp}, booktitle = {SOSP}, crossref = {conf/sosp/2019}, editor = {Brecht, Tim and Williamson, Carey}, ee = {https://doi.org/10.1145/3341301.3359647}, interhash = {a83ba16da484dd6c3b716de80afdcf05}, intrahash = {fdde7d37b47a87339783a554b0a682d3}, isbn = {978-1-4503-6873-5}, keywords = {dblp}, pages = {275-290}, publisher = {ACM}, timestamp = {2024-04-10T05:27:55.000+0200}, title = {Verifying software network functions with no verification expertise.}, url = {http://dblp.uni-trier.de/db/conf/sosp/sosp2019.html#ZaostrovnykhPIR19}, year = 2019 }