zikele

zikele

人生如此自可乐
HomeArchives

有限状态机

cover
cover

从合同到代码：使用多级有限状态机自动生智能合约

中文标题 从合同到代码：使用多级有限状态机自动生智能合约 英文标题 From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines 中文摘要…
智能合约
Ownership of this blog data is guaranteed by blockchain and smart contracts to the creator alone.