bibtex

@article{GBB+3,
    title = { {Formally Verifying Optimizations with Block Simulations} },
    author = {Gourdin, L\'eo and Bonneau, Benjamin and Boulm\'e, Sylvain and Monniaux, David and B\'erard, Alexandre},
    month = {Oct},
    year = {2023},
    journal = {{Proceedings of the ACM on Programming Languages, Issue OOPSLA2}},
    pages = {59-88},
    publisher = {{ACM}},
    volume = {7}, % NUMBER = {OOPSLA2},
    team = {axe_FormalProofs, axe_SharedResources, axe_Pacs, PACSS},
}

URL


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

info visites 4125102