Article Details
Retrieved on: 2019-11-03 18:51:19
Tags for this article:
Click the tags to see associated articles and topics
Excerpt
<div>Its native <b>smart contract</b> programming language, Michelson, makes it easier to do formal verification, thereby allowing for more secure, ...</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