IELE: A rigorously designed language and tool ecosystem for the blockchain

Theodoros Kasampalis, Dwight Guth, Brandon Moore, Traian Florin Șerbănuță, Yi Zhang, Daniele Filaretti, Virgil Șerbănuță, Ralph Johnson, Grigore Roşu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'IELE: A rigorously designed language and tool ecosystem for the blockchain'. Together they form a unique fingerprint.

Engineering & Materials Science

Mathematics