Registered user since Thu 24 Jun 2021
Name:Jacco Krijnen
Affiliation:Utrecht University
Contributions
| TyDe 2021 | Translation Certification for Smart Contracts (Extended Abstract) | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2021-profile
View general profile
View general profile