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},
}


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

info visites 3748570