bibtex

@inproceedings{BIL03,
    title = {Storeless semantics and alias logic },
    author = {Bozga, Marius and Iosif, Radu and Lakhnech, Yassine},
    year = {2003},
    booktitle = {Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003},
    pages = {55-65},
    publisher = {ACM},
    series = {lncs},
    team = {DCS,PACSS},
}


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

info visites 4086777