Scilla: a Smart Contract Intermediate-Level LAnguage Automata for Smart Contract Implementation and Verification Ilya Sergey Amrit Kumar

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 Kumar Add to Reading List Source URL: arxiv.org Download Document from Source Website File Size: 612,07 KB Share Document on Facebook