bibtex

@inproceedings{BIL04,
    title = {On Logics of Aliasing },
    author = {Bozga, Marius and Iosif, Radu and Lakhnech, Yassine},
    year = {2004},
    booktitle = {Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings},
    number = {3253},
    pages = {344-360},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {3148},
    team = {DCS,PACSS},
}


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

info visites 4092149