TCTは、Ethereumスマートコントラクトを守る新しい方法を提供してるよ。
Nikolaj S. Bjørner, Ashley J. Chen, Shuo Chen
― 1 分で読む
Tzu-Han Hsu
プライバシーとセキュリティに焦点を当てた自動ソフトウェアバグ修正の方法。
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour
― 1 分で読む
最先端の科学をわかりやすく解説
TCTは、Ethereumスマートコントラクトを守る新しい方法を提供してるよ。
Nikolaj S. Bjørner, Ashley J. Chen, Shuo Chen
― 1 分で読む
プライバシーとセキュリティに焦点を当てた自動ソフトウェアバグ修正の方法。
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour
― 1 分で読む