@misc{indiciae6cac9b3afff9,
  title = {Contract-Aware Rescue of a Drifted Isabelle Development: The Double-Tank Case Study},
  author = {Jim Woodcock and Gabriel Leite and Augusto Sampaio and Ran Wei},
  year = {2026},
  url = {https://arxiv.org/abs/2608.18822},
  note = {Source identifier: 2608.18822}
}