conf.researchr.org / Simon Meier
Not registered as user yet
Name: Simon Meier
Affiliation: Digital Asset
Contributions
| CUFP 2017 | Presenter of Formally Verifying a Smart-Contract Language Implementation with Isabelle within the CUFP 2017-track |
Not registered as user yet
Name: Simon Meier
Affiliation: Digital Asset
Contributions
| CUFP 2017 | Presenter of Formally Verifying a Smart-Contract Language Implementation with Isabelle within the CUFP 2017-track |