No authors of 2308.15191 can endorse.
State of the Art Report: Verified Computation
Jim Woodcock FREng: | Is registered as an author of this paper. Not currently an endorser. (why?) |
Mikkel Schmidt Andersen, Diego F. Aranha, Stefan Hallerstede, Simon Thrane Hansen, Nikolaj Kuhne Jakobsen, Tomas Kulik, Peter Gorm Larsen, Hugo Daniel Macedo, Carlos Ignacio Isasa Martin and Victor Alexander Mtsimbe Norrild are not registered as owners of this paper. (why?)