Items where authors include "Norrild, Victor Alexander Mtsimbe"

Up a level
Export as [feed] Atom [feed] RSS
Jump 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]

This list was generated on Tue Sep 12 23:24:19 2023 BST.