Biblio

Export 1 results:
Filters: Author is Jean-Baptiste Jeannin  [Clear All Filters]
2017
Ryzhyk L, Bjørner N, Canini M, Jeannin J-B, Schlesinger C, Terry DB, Varghese G.  2017.  Correct by Construction Networks Using Stepwise Refinement. 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). :683--698.