Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk) - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Grigore Rosu. Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk). In Hélène Kirchner, editor, 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK. Volume 108 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

The following publications are possibly variants of this publication:

Formal Design, Implementation and Verification of Blockchain Languages Using K (Invited Talk)Grigore Rosu. cav 2020: [doi]

runs on WebDSL