题名：基于形式化方法的区块链系统漏洞检测模型

作者：陈锦富;冯乔伟;蔡赛华;施登洲;Rexford Nii Ayitey SOSU;

来源：

出版机构：同方知网（北京）技术有限公司

出版年:

DOI码：10.13328/j.cnki.jos.007133

注册时间：2024-03-30 10:27:17

以下是您获得的URL地址： https://link.cnki.net/doi/10.13328/j.cnki.jos.007133(境内) https://link.oversea.cnki.net/doi/10.13328/j.cnki.jos.007133(境外)