bibtex

@article{EMP1,
    title = { Output-sensitive Information flow analysis },
    author = {Ene, Cristian and Mounier, Laurent and Potet, Marie-Laure},
    month = {Feb},
    year = {2021},
    journal = {{Logical Methods in Computer Science}},
    volume = {{Volume 17, Issue 1}},
    team = {PACSS, axe_Pacs},
}

URL


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

info visites 1756750