Daniel AMYOT, Symboleo: a language for specifying/verifying legal contracts and generating smart contracts, Seminar presentation, École Polytechnique, Canada, April 14, 2022. | To be published
This content has been updated on 28 February 2023 at 18 h 31 min.