Wuhan University Journal of Natural Sciences

Program Derivation and Mechanized Verification of Edit Distance Algorithm

Zhen YOU, Chen ZHANG, Huan SUN and Zhengkang ZUO

Wuhan Univ. J. Nat. Sci., 30 6 (2025) 576-588

Published online: 09 January 2026

DOI: 10.1051/wujns/2025306576

Zhen YOU

Chen ZHANG

Huan SUN

Zhengkang ZUO

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)