1. Correct‐by‐construction specification to verified code. Issue 10 (25th June 2018) Authors: Ge, Ning; Dieumegard, Arnaud; Jenn, Eric; Voisin, Laurent Journal: Journal of software Issue: Volume 30:Issue 10(2018) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗