FMBC'19: WORKSHOP ON FORMAL METHODS FOR BLOCKCHAINS
Julien Tesson
Organization: Université Paris Est, LACL, UPEC
Web page: http://tesson.julien.free.fr/
Pages in this Program
Program
Program for Friday, October 11th