FMBC'19: WORKSHOP ON FORMAL METHODS FOR BLOCKCHAINS
Silvia Crafa
Organization: Universita' di Padova - Dip. di Matematica pura e applicata
Web page: http://www.math.unipd.it/~crafa
Pages in this Program
Program
Program for Friday, October 11th