@inproceedings{MB2,
title = { {The Trusted Computing Base of the CompCert Verified Compiler} },
author = {Monniaux, David and Boulm\'e, Sylvain},
month = {Apr},
year = {2022},
booktitle = {{Programming Languages and Systems (ESOP 2022)}},
address = {Munich, Germany},
pages = {204-233},
series = {Lecture notes in computer science},
volume = {13240},
team = {axe_FormalProofs, axe_Pacs, PACSS},
}
