Program Derivation and Mechanized Verification of Edit Distance AlgorithmZhen YOU, Chen ZHANG, Huan SUN and Zhengkang ZUOWuhan Univ. J. Nat. Sci., 30 6 (2025) 576-588DOI: https://doi.org/10.1051/wujns/2025306576
