欢迎访问《数字化用户》官方网站！今天是
ISSN 1009-0843　CN 51-1567/TN
形式化方法在人工智能系统验证中的应用
韦江竹
数字化用户 . 2025, (35): 67 -69 .  DOI: 10.3969/j.issn.1009-0843.2025.35.023

主管单位：四川省科学技术协会
主办单位：电脑商情报社
　　　　　四川电脑推广协会
国际标准连续出版物号：ISSN 1009-0843
国内统一连续出版物号：CN 51-1567/TN
版权所有 © 《数字化用户》编辑部