Sergei Tikhomirov, Ekaterina Voskresenskaya, Ivan Ivanitskiy, Ramil Takhaviev, Evgeny Marchenko, Yaroslav Alexandrov. SmartCheck: Static Analysis of Ethereum Smart Contracts. In 1st IEEE/ACM International Workshop on Emerging Trends in Software Engineering for Blockchain, WETSEB@ICSE 2018, Gothenburg, Sweden, May 27 - June 3, 2018. pages 9-16, ACM, 2018. [doi]
@inproceedings{TikhomirovVITMA18, title = {SmartCheck: Static Analysis of Ethereum Smart Contracts}, author = {Sergei Tikhomirov and Ekaterina Voskresenskaya and Ivan Ivanitskiy and Ramil Takhaviev and Evgeny Marchenko and Yaroslav Alexandrov}, year = {2018}, url = {http://ieeexplore.ieee.org/document/8445052}, researchr = {https://researchr.org/publication/TikhomirovVITMA18}, cites = {0}, citedby = {0}, pages = {9-16}, booktitle = {1st IEEE/ACM International Workshop on Emerging Trends in Software Engineering for Blockchain, WETSEB@ICSE 2018, Gothenburg, Sweden, May 27 - June 3, 2018}, publisher = {ACM}, isbn = {978-1-4503-5726-5}, }