1. Editorial for the Special Issue on Parallel and Concurrent Functional Programming. (4th March 2018) Authors: Keller, Gabriele; Henglein, Fritz Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. 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) ↗
3. 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) ↗