Difference between revisions of "IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics"

From FSL
Jump to: navigation, search
(Created page with "<pubbib id='kasampalis-guth-moore-serbanuta-serbanuta-filaretti-rosu-johnson-2018-tr' template='PubDefaultWithAbstractAndTitle'/>")
 
 
Line 1: Line 1:
<pubbib id='kasampalis-guth-moore-serbanuta-serbanuta-filaretti-rosu-johnson-2018-tr' template='PubDefaultWithAbstractAndTitle'/>
+
#REDIRECT [[IELE:_A_Rigorously_Designed_Language_and_Tool_Ecosystem_for_the_Blockchain | IELE:_An_Intermediate-Level_Blockchain_Language_Designed_and_Implemented_Using_Formal_Semantics]]

Latest revision as of 13:58, 15 January 2020

  1. REDIRECT IELE:_An_Intermediate-Level_Blockchain_Language_Designed_and_Implemented_Using_Formal_Semantics
Personal tools
Namespaces

Variants
Actions
Navigation