@inproceedings{MGB+3,
title = { {Testing a Formally Verified Compiler} },
author = {Monniaux, David and Gourdin, L\'eo and Boulm\'e, Sylvain and Lebeltel, Olivier},
month = {Jul},
year = {2023},
booktitle = {{Tests and Proofs (TAP 2023)}},
address = {Leicester, United Kingdom},
pages = {40-48},
publisher = {{Springer Nature Switzerland}},
series = {Lecture Notes in Computer Science},
volume = {14066},
team = {axe_FormalProofs, axe_Pacs, PACSS, TEMPO},
}
