Sepehr SHARIFI, Smart Contracts: From Formal Specification to Blockchain Code, Master thesis, UOttawa, 2020. | To be published
This content has been updated on 28 February 2023 at 18 h 35 min.
Sepehr SHARIFI, Smart Contracts: From Formal Specification to Blockchain Code, Master thesis, UOttawa, 2020. | To be published
This content has been updated on 28 February 2023 at 18 h 35 min.