计算技术与自动化2025，Vol.44Issue(1)：P.147-154,8.DOI:10.16339/j.cnki.jsjsyzdh.202501026
基于形式化方法的程序代码合并分析
摘要
关键词
代码合并/UML/包图/形式化/包合并/合并冲突分类
信息技术与安全科学引用本文复制引用
何清,蒋建民..基于形式化方法的程序代码合并分析[J].计算技术与自动化,2025,44(1):P.147-154,8.基金项目
国家重点研发计划资助项目(2022YFB3305101) （2022YFB3305101）
国家自然科学基金资助项目(61772004) （61772004）
成都信息工程大学人才科研基金资助(KYTZ202009)。 （KYTZ202009）
