C. Ferdinand
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
CompCert — a formally verified optimizing compiler
X. Leroy and others (2016) · Embedded Real Time Software and Systems
Safety standards and wcet analysis tools
D. Kaestner and others (2012) · ERTS