FMBC 2021: 3RD INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR BLOCKCHAINS
Cosimo Laneve
Affiliation: University of Bologna
Web page: https://www.unibo.it/sitoweb/cosimo.laneve/en
Pages in this Program
Program
Program for Monday, July 19th