bibtex

@inproceedings{EMP9,
    title = {{Output-Sensitive Information Flow Analysis} },
    author = {Ene, Cristian and Mounier, Laurent and Potet, Marie-Laure},
    month = {June 17-21},
    year = {2019},
    booktitle = {{FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, J. A. P?erez and N. Yoshida (Eds.): LNCS 11535 }},
    address = {{Lyngby, Danemark}},
    note = {to appear},
    team = {PACSS},
}

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.1.12 + AHUNTSIC [CC License]

info visites 1368998