1 |
S. Nakamoto, "Bitcoin: A peer-to-peer electronic cash system." 2009. [Online]. Available: bitcoin.org
|
2 |
Buterin, Vitalik. "Ethereum white paper." GitHub repository (2013): 22-23.
|
3 |
Szabo, Nick. "Smart contracts." Unpublished manuscript (1994).
|
4 |
Bragagnolo, Santiago, et al. "SmartInspect: solidity smart contract inspector." 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE). IEEE, 2018.
|
5 |
Delgado, Nelly, Ann Q. Gates, and Steve Roach. "A taxonomy and catalog of runtime software-fault monitoring tools." IEEE Transactions on software Engineering 30.12 (2004): 859-872.
DOI
|
6 |
Parr, Terence. The definitive ANTLR 4 reference. Pragmatic Bookshelf, 2013.
|