CSG ID,Type,BibTeX Key,Author(s),Editor(s),Title,Supervisor(s),Institution,Department,Book Title,Series Name,Publisher,Publication Place,How Published,Date,End Date,Subtype,Is Refereed,Presentation Type,Event Title,Event Type,Event Location,Journal Title,Volume,Number,Page Range,ISBN,ISSN,DOI,Official URL,Zora ID
1364,mastersproject,HP20,"Simon Hurwitz, Dmytro Polyanskyy",,"ARVV: Automated Refinement, Validation, and Verification of Financial Contracts","Bruno Rodrigues, Eder Scheid",Universität Zürich,"Communication Systems Group, Department of Informatics",,,,"Zürich, Switzerland",,2020-06-24,,,,,,,,,,,,,,,https://files.ifi.uzh.ch/CSG/staff/rodrigues/extern/theses/mp-simon-dmytro.pdf,