Standard

SmartGraph: Static Analysis Tool for Solidity Smart Contracts. / Жуков, Андрей Сергеевич; Корхов, Владимир Владиславович.

Computational Science and Its Applications – ICCSA 2023 Workshops. Cham : Springer Nature, 2023. p. 584-598 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14104).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Harvard

Жуков, АС & Корхов, ВВ 2023, SmartGraph: Static Analysis Tool for Solidity Smart Contracts. in Computational Science and Its Applications – ICCSA 2023 Workshops. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14104, Springer Nature, Cham, pp. 584-598, International Conference on Computational Science and Its Applications, Афины, Greece, 3/07/23. https://doi.org/10.1007/978-3-031-37105-9_39

APA

Жуков, А. С., & Корхов, В. В. (2023). SmartGraph: Static Analysis Tool for Solidity Smart Contracts. In Computational Science and Its Applications – ICCSA 2023 Workshops (pp. 584-598). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14104). Springer Nature. https://doi.org/10.1007/978-3-031-37105-9_39

Vancouver

Жуков АС, Корхов ВВ. SmartGraph: Static Analysis Tool for Solidity Smart Contracts. In Computational Science and Its Applications – ICCSA 2023 Workshops. Cham: Springer Nature. 2023. p. 584-598. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-031-37105-9_39

Author

Жуков, Андрей Сергеевич ; Корхов, Владимир Владиславович. / SmartGraph: Static Analysis Tool for Solidity Smart Contracts. Computational Science and Its Applications – ICCSA 2023 Workshops. Cham : Springer Nature, 2023. pp. 584-598 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

BibTeX

@inproceedings{d30ad8cd22464fafa38a2e9dbec9beb5,
title = "SmartGraph: Static Analysis Tool for Solidity Smart Contracts",
author = "Жуков, {Андрей Сергеевич} and Корхов, {Владимир Владиславович}",
year = "2023",
month = jun,
day = "30",
doi = "10.1007/978-3-031-37105-9_39",
language = "English",
isbn = "978-3-031-37104-2",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Nature",
pages = "584--598",
booktitle = "Computational Science and Its Applications – ICCSA 2023 Workshops",
address = "Germany",
note = "null ; Conference date: 03-07-2023 Through 06-07-2023",
url = "https://iccsa.org/",

}

RIS

TY - GEN

T1 - SmartGraph: Static Analysis Tool for Solidity Smart Contracts

AU - Жуков, Андрей Сергеевич

AU - Корхов, Владимир Владиславович

N1 - Conference code: 23

PY - 2023/6/30

Y1 - 2023/6/30

UR - https://www.mendeley.com/catalogue/a4454945-2e3e-31fd-91db-8b25fdfd692f/

U2 - 10.1007/978-3-031-37105-9_39

DO - 10.1007/978-3-031-37105-9_39

M3 - Conference contribution

SN - 978-3-031-37104-2

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 584

EP - 598

BT - Computational Science and Its Applications – ICCSA 2023 Workshops

PB - Springer Nature

CY - Cham

Y2 - 3 July 2023 through 6 July 2023

ER -

ID: 107736767