Biblio

Export 1 results:
Filters: Author is Tobias Brodmann  [Clear All Filters]
2021
Birkner R, Brodmann T, Tsankov P, Vanbever L, Vechev M.  2021.  Metha: Network Verifiers Need To Be Correct Too!. 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21). :99--113.