Verimag

bibtex

@inproceedings{HP08,
    title = { Discovering Properties about Arrays in Simple Programs },
    author = {Halbwachs, Nicolas and P\'eron, Mathias},
    month = {jun},
    year = {2008},
    booktitle = {ACM Conference on Programming Language Design and Implementation, PLDI 2008},
    address = {Tucson (Az.)},
    pages = {339--348},
    team = {SYNC},
}

URL

Sections de Publications


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

info visites 874248