Jakob Botsch Nielsen

Find

Department of Computer Science

PhD Student

Department of Computer Science
Åbogade 34
8200 Aarhus N
Denmark
botsch@cs.au.dk

Published
Extracting smart contracts tested and verified in Coq
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Published
Smart contract interactions in coq
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Published
ConCert: A smart contract certification framework in Coq
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

ID: 141273560