bibtex

@inproceedings{SGB+2,
    title = { {Formally Verified Superblock Scheduling} },
    author = {Six, Cyril and Gourdin, L\'eo and Boulm\'e, Sylvain and Monniaux, David and Fasse, Justus and Nardino, Nicolas},
    month = {Jan},
    year = {2022},
    booktitle = {{Certified Programs and Proofs (CPP '22)}},
    address = {Philadelphia, United States},
    pages = {40-54},
    publisher = {{ACM Digital Library}},
    team = {axe_FormalProofs, axe_SharedResources, axe_Pacs, PACSS},
}

URL


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

info visites 4190648