1. Provably trustworthy systems. (13th October 2017) Authors: Klein, Gerwin; Andronick, June; Keller, Gabriele; Matichuk, Daniel; Murray, Toby; O'Connor, Liam Journal: Philosophical transactions Issue: Volume 375:Number 2104(2017) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Provably trustworthy systems. (4th September 2017) Authors: Klein, Gerwin; Andronick, June; Keller, Gabriele; Matichuk, Daniel; Murray, Toby; O'Connor, Liam Journal: Philosophical transactions Issue: Volume 375:Number 2104(2017) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗