bibtex

@inproceedings{MB4,
    title = { {Chamois: agile development of CompCert extensions for optimization and security} },
    author = {Monniaux, David and Boulm\'e, Sylvain},
    month = {Jan},
    year = {2024},
    booktitle = {{JFLA 2024 -- 35es Journ{\'e}es Francophones des Langages Applicatifs}},
    address = {Saint-Jacut-de-la-Mer, France},
    team = {axe_FormalProofs, axe_SharedResources, axe_Pacs, PACSS},
    hal_id = {hal-04406465},
}

URL


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

info visites 4095687