State of the Art Report: Verified Computation.

Jim Woodcock Mikkel Schimdt Andersen Diego F. Aranha Stefan Hallerstede Simon Thrane Hansen Nikolaj Kuhne Jakobsen Tomas Kulik Peter Gorm Larsen Hugo Daniel Macedo Carlos Ignacio Isasa Martin Victor Alexander Mtsimbe Norrild

Published in: CoRR (2023)

Keyphrases