FMBC 2020: 2ND INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR BLOCKCHAINS
Grigore Rosu
Affiliation: University of Illinois at Urbana-Champaign / Runtime Verification Inc.
Web page: http://fsl.cs.illinois.edu/~grosu
Pages in this Program
Program
Program for Monday, July 20th