Browsing by Sponsor/Funder Outlier Ventures Operations Ltd
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) |
|---|---|---|
| - | Towards Safer Smart Contracts: A Survey of Languages and Verification Methods | Harz, D; Knottenbelt, W; |
| 16-Sep-2019 | XCLAIM: trustless, interoperable, cryptocurrency-backed assets | Zamyatin, A; Harz, D; Lind, J; Panayiotou, P; Gervais, A, et al |