© Inria / Photo B. Fourrier Awards & Honours CompCert software program receives a prestigious award 29/06/2022