@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},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32205756
|
|
|