bibtex

@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},
}

URL


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4187127