Sepehr SHARIFI, Smart Contracts: From Formal Specification to Blockchain Code, Master thesis, UOttawa, 2020. | Publication à venir

Ce contenu a été mis à jour le 28 février 2023 à 18 h 35 min.