Tikhomirov, S., Voskresenskaya, E., Ivanitskiy, I., Takhaviev, R., Marchenko, E., & Alexandrov, Y. (2018, May 27). SmartCheck: Static analysis of ethereum smart contracts. 2018 IEEE ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), 9-16. https://doi.org/10.1145/3194113.3194115
Chicago-Zitierstil (17. Ausg.)Tikhomirov, Sergei, Ekaterina Voskresenskaya, Ivan Ivanitskiy, Ramil Takhaviev, Evgeny Marchenko, und Yaroslav Alexandrov. "SmartCheck: Static Analysis of Ethereum Smart Contracts." 2018 IEEE ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) 27 May. 2018: 9-16. https://doi.org/10.1145/3194113.3194115.
MLA-Zitierstil (9. Ausg.)Tikhomirov, Sergei, et al. "SmartCheck: Static Analysis of Ethereum Smart Contracts." 2018 IEEE ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), 27 May. 2018, pp. 9-16, https://doi.org/10.1145/3194113.3194115.