@misc{indiciaeab779cecf07e,
  title = {Formalizing the Omega Test in Dafny},
  author = {Ariadna Brănici-Faraon and Ştefan Ciobâcă and Diana-Elena Gratie},
  year = {2026},
  doi = {10.4204/eptcs.452.5},
  url = {https://arxiv.org/abs/2609.34882},
  note = {Source identifier: 2609.34882}
}