Technology
Research
About
Blog
Contact
Careers

English

IOHK |

Library

About
Library

Library > Jacco Krijnen

Jacco Krijnen

Translation Certification for Smart Contracts (Extended Abstract)

Jacco Krijnen,Manuel Chakravarty,Gabriele Keller,Wouter Swierstra

August 2021, TyDe 2021

PLUTUS SMARTCONTRACT

Technology

Cardano
Daedalus
Atala PRISM
Mantis

Media

Press
Media kit

Courses

Plutus

Legal

Data protection
Terms & Conditions

Social

Twitter
Facebook
GitHub
LinkedIn
YouTube
TikTok
Instagram