Verimag

bibtex

@inproceedings{BLP03a,
    title = {Abstract Interpretation for Secrecy using Patterns },
    author = {Bozga, Liana and Lakhnech, Yassine and P\'erin, Micha\"el},
    year = {2003},
    booktitle = {TACAS'03},
    series = {LNCS},
    volume = {2619},
    team = {DCS,PACSS},
}

Publication Sections


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

info visites 775547