Formal Design, Implementation and Verification of Blockchain Languages and Virtual Machines

Formal Design, Implementation and Verification of Blockchain Languages and Virtual Machines

0286822f506fc4621bd3ea0bcbfef238?s=128

Bucharest FP

July 05, 2018
Tweet