论文成果

SPESC: A Specification Language for Smart Contracts. In Proceedings of the 42nd IEEE Computer Software and Applications Conference, COMPSAC 2018, 2018-7-23.

发布时间:2022-04-11  点击次数:

是否译文:

版权所有©北京科技大学 京公网安备:110402430062  京ICP备:13030111号-1

访问量: | 最后更新时间:-- | 开通时间:-- |手机版