TY  - RPRT
TI  - Derivation and Verification of Array Sorting by Merging, and its Certification in Dafny
AU  - Juan Pablo Carbonell
AU  - José E. Solsona
AU  - Nora Szasz
AU  - Álvaro Tasistro
PY  - 2025
UR  - https://arxiv.org/abs/2509.01758
ID  - 2509.01758
ER  -