Formal Design, Implementation and Verification of Blockchain Languages
2018
Provides an abstract of the keynote presentation and may include a brief professional biography of the presenter. The complete presentation was not made available for publication as part of the conference proceedings.