Correct by Construction Networks Using Stepwise Refinement
January 5, 2017 - 5:10 pm by jasmine@usenix.org
| Title | Correct by Construction Networks Using Stepwise Refinement |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Ryzhyk L, Bjørner N, Canini M, Jeannin J-B, Schlesinger C, Terry DB, Varghese G |
| Conference Name | 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17) |
| Date Published | 03/2017 |
| Publisher | USENIX Association |
| Conference Location | Boston, MA |
| ISBN Number | 978-1-931971-37-9 |
| URL | https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/ryzhyk |
- DBLP
- Log in to post comments
- Google Scholar
- BibTeX