| CSG ID | 1364 |
| Type | Theses: Master Project (MAP) |
| BibTeX Key | HP20 |
| Author(s) | Simon Hurwitz Dmytro Polyanskyy |
| Title | ARVV: Automated Refinement, Validation, and Verification of Financial Contracts |
| Supervisor(s) | Bruno Rodrigues Eder Scheid |
| Institution | Universität Zürich |
| Department | Communication Systems Group, Department of Informatics |
| Publication Place | Zürich, Switzerland |
| Date | 24. June 2020 |
| Official URL | https://files.ifi.uzh.ch/CSG/staff/rodrigues/extern/theses/mp-simon-dmytro.pdf |