TY  - RPRT
TI  - Contract-Aware Rescue of a Drifted Isabelle Development: The Double-Tank Case Study
AU  - Jim Woodcock
AU  - Gabriel Leite
AU  - Augusto Sampaio
AU  - Ran Wei
PY  - 2026
UR  - https://arxiv.org/abs/2608.18822
ID  - 2608.18822
ER  -