"CompCertO: compiling certified open C components."

Jérémie Koenig, Zhong Shao (2021)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics