Items where authors include "Norrild, Victor Alexander Mtsimbe"
![[up]](/style/images/multi_up.png)
Up a levelJump to: Preprint
Number of items: 1.
Preprint
Woodcock, Jim orcid.org/0000-0001-7955-2702, Aranha, Diego F., Hallerstede, Stefan et al. (7 more authors) (2023) State of the Art Report:Verified Computation. [Preprint]