bibtex

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

URL


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

info visites 4092501