On the Correctness of Software Merge (ASE2025) On the Correctness of Software Merge
2025.11.02
2025年11月に韓国で開催される国際会議 The 40th IEEE/ACM International Conference on Automated Software Engineering の研究論文トラックにおいて産業技術総合研究所との共同研究の成果をまとめた論文が採択されました。
https://conf.researchr.org/details/ase-2025/ase-2025-papers/210/On-the-Correctness-of-Software-Merge