@misc{indiciae3c2611f1f018,
  title = {Show Me The Money: An Exercise in Proof-Driven Software Understanding},
  author = {Joseph Tafese and Karthik Nukala and Hassen Saïdi and Natarajan Shankar and Arie Gurfinkel and Giuliano Losa},
  year = {2026},
  url = {https://arxiv.org/abs/2607.16499},
  note = {Source identifier: 2607.16499}
}