FMBC'19: WORKSHOP ON FORMAL METHODS FOR BLOCKCHAINS
Simão Melo de Sousa
Organization: Release/LISP & LIACC & Departamento de Informática, Universidade da Beira Interior
Web page: http://www.di.ubi.pt/~desousa
Pages in this Program
Program
Program for Friday, October 11th