@misc{indiciae9bff24e4e9e5,
  title = {Partial Automation of Verification Condition Proving for Reflex Programs (Draft)},
  author = {Artyom Ishchenko and Igor Anureev},
  year = {2026},
  url = {https://arxiv.org/abs/2606.23377},
  note = {Source identifier: 2606.23377}
}