基本信息
文件名称：形式化方法与系统软件 实践与发展建议.pdf
文件大小：2.39 MB
总页数：13 页
更新时间：2026-03-13
总字数：约3.89万字
文档摘要
引用格式:丁浩然,王肇国,付明,等.形式化方法与系统软件:实践与发展建议[J].
前瞻科技,2023,2(1):33-45;doi:10.3981/j.issn.2097-0781.2023.01.003
形式化方法与系统软件：实践与发展
建议
丁浩然1,王肇国1,付明2,陈海波1?
1.上海交通大学软件学院，上海200240
2.华为德累斯顿研究所，德