Author:
Albert Elvira,Gordillo Pablo,Livshits Benjamin,Rubio Albert,Sergey Ilya
Publisher
Springer International Publishing
Reference12 articles.
1. Oyente: An Analysis Tool for Smart Contracts (2018). https://github.com/melonproject/oyente
2. Albert, E., et al.: Object-sensitive cost analysis for concurrent objects. STVR 25(3), 218–271 (2015)
3. Albert, E., et al.: SACO: static analyzer for concurrent objects. In: Ábrahám, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 562–567. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54862-8_46
4. Chow, J.: Ethereum, Gas, Fuel & Fees, 2016. Published online on June 23, 2016. https://media.consensys.net/ethereum-gas-fuel-and-fees-3333e17fe1dc
5. Lecture Notes in Computer Science;I Grishchenko,2018
Cited by
71 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献