Items where authors include "Ringert, J.O."
Jump to: Article
Number of items: 1.
Article
Mousavi, M.R., Cavalcanti, A., Fisher, M. et al. (8 more authors) (2023) Trustworthy autonomous systems through verifiability. Computer, 56 (2). pp. 40-47. ISSN 0018-9162