1. Formal verification: will the seedling ever flower?. (13th October 2017) Authors: White, Neil; Matthews, Stuart; Chapman, Roderick 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. Formal verification: will the seedling ever flower?. (4th September 2017) Authors: White, Neil; Matthews, Stuart; Chapman, Roderick 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) ↗