形式化方法与系统软件：实践与发展建议

形式化方法与系统软件：实践与发展建议

丁浩然, 王肇国, 付明, 陈海波

Formal Methods and System Software: Practice and Suggestions

DING Haoran, WANG Zhaoguo, FU Ming, CHEN Haibo

前瞻科技 . 2023, (1): 33 -45 . DOI: 10.3981/j.issn.2097-0781.2023.01.003