Biblio

Export 1 results:
Filters: Author is Ruben Martins  [Clear All Filters]
2021
Hance T, Heule M, Martins R, Parno B.  2021.  Finding Invariants of Distributed Systems: It's a Small (Enough) World After All. 18th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 21). :115--131.