共 33 条
[1]
Abiteboul S., 2017, Le temps des algorithmes
[2]
BlockSim: An Extensible Simulation Tool for Blockchain Systems
[J].
FRONTIERS IN BLOCKCHAIN,
2020, 3
[3]
Formal Modeling and Verification of Smart Contracts
[J].
PROCEEDINGS OF 2018 7TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2018),
2018,
:322-326
[4]
Baird K., 2019, arXiv
[5]
Chatterjee Krishnendu, 2018, Programming Languages and Systems. 27th European Symposium on Programming, ESOP 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018. Proceedings: LNCS 10801, P739, DOI 10.1007/978-3-319-89884-1_26
[6]
Dannen C., 2017, INTRO ETHEREUM SOLID, VVolume 318, DOI DOI 10.1007/978-1-4842-2535-6
[7]
Dausbourg B., 1994, Computer Security-ESORICS, V94, P247, DOI [10.1007/3-540-58618-0_68, DOI 10.1007/3-540-58618-0_68]
[8]
Emilion M., 2021, Matrice de confusion: comment la lire et l'interpreter