FMBC 2021: 3RD INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR BLOCKCHAINS
Massimo Bartoletti
Affiliation: Dipartimento di Matematica e Informatica, Universita' degli Studi di Cagliari
Web page: http://tcs.unica.it
Pages in this Program
Program
Program for Sunday, July 18th