First Page | Document Content | |
---|---|---|
Date: 2018-01-02 20:44:15 | Scilla: a Smart Contract Intermediate-Level LAnguage Automata for Smart Contract Implementation and Verification Ilya Sergey Amrit KumarAdd to Reading ListSource URL: arxiv.orgDownload Document from Source WebsiteFile Size: 612,07 KBShare Document on Facebook |