Daniel AMYOT, Symboleo: a language for specifying/verifying legal contracts and generating smart contracts, Seminar presentation, École Polytechnique, Canada, April 14, 2022. | Publication à venir

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