bibtex

@phdthesis{Six1,
    title = { {Optimized and formally-verified compilation for a VLIW processor} },
    author = {Six, Cyril},
    month = {Jul},
    year = {2021},
    team = {axe_FormalProofs, axe_SharedResources, PACSS},
    pdf = {https://hal.archives-ouvertes.fr/tel-03326923/file/thesis.pdf}, hal_id = {tel-03326923}, hal_version = {v1},
}

URL


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

info visites 1803751