Article Details
Retrieved on: 2018-05-29 06:26:14
Tags for this article:
Click the tags to see associated articles and topics
Excerpt
<div>The ADA <b>Smart Contract</b> TestNet is called KEVM, because it combines “K formal executable semantics”. Its overall design is said to maximize the ...</div>
Article found on:
This article is found inside other hiswai user's workspaces. To start your own collection, sign up for free.
Sign UpAlready have an account? Log in here