Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Manuel M. T. Chakravarty
conf.researchr.org general profile
FLOPS 2022 profile
Registered user since Fri 25 Feb 2022
Name:
Manuel M. T. Chakravarty
Country:
Netherlands
Affiliation:
IOHK
Contributions
2022
FLOPS
Author of Translation Certification for Smart Contracts within the FLOPS 2022-track
Share
x
Fri 8 Nov 12:29