1. Program synthesis: challenges and opportunities. (13th October 2017) Authors: David, Cristina; Kroening, Daniel 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. Program synthesis: challenges and opportunities. (4th September 2017) Authors: David, Cristina; Kroening, Daniel 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) ↗