共 4 条
[1]
Mens T(2002)A state-of-the-art survey on software merging IEEE Trans Software Eng 28 449-462
[2]
Sousa M(2018)Verified three-way program merge Proceedings of the ACM on Programming Languages 2 165-undefined
[3]
Dillig I(undefined)undefined undefined undefined undefined-undefined
[4]
Lahiri S K(undefined)undefined undefined undefined undefined-undefined