Browse by People

Collapse authors list.
Mousavi, Mohammad Reza, Cavalcanti, Ana, Fisher, Michael, Dennis, Louise ORCID: 0000-0003-1426-1896, Hierons, Rob, Kaddouh, Bilal, Law, Effie Lai-Chong, Richardson, Rob, Ringer, Jan Oliver, Tyukin, Ivan et al (show 1 more authors) and Woodcock, Jim (2023) Trustworthy Autonomous Systems Through Verifiability. COMPUTER, 56 (2). pp. 40-47.