@misc{indiciaeae7d3d63b66e,
  title = {State of the Art Report: Verified Computation},
  author = {Jim Woodcock and Mikkel Schmidt Andersen and Diego F. Aranha and Stefan Hallerstede and Simon Thrane Hansen and Nikolaj Kuhne Jakobsen and Tomas Kulik and Peter Gorm Larsen and Hugo Daniel Macedo and Carlos Ignacio Isasa Martin and Victor Alexander Mtsimbe Norrild},
  year = {2024},
  url = {https://arxiv.org/abs/2308.15191},
  note = {Source identifier: 2308.15191}
}