2nd Workshop on Formal Methods for Blockchains (FMBC 2020) July 19, 2020 Los Angeles, US

Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!