Program

1st Workshop on Formal Methods for Blockchains

hosted by the 3rd Formal Methods World Congress on October 11, 2019 in Porto, Portugal