Formal Design, Implementation and Verification of Blockchain Languages Using K (Invited Talk).

Grigore Rosu

Browse the full CAV paper archive.