bibtex

@inproceedings{PH10,
    title = { An analysis of permutations in arrays },
    author = {Perrelle, Valentin and Halbwachs, Nicolas},
    month = {jan},
    year = {2010},
    booktitle = {11th International Conference on Verification, Model-checking, and Abstract Interpretation, VMCAI 2010},
    address = {Madrid, Spain},
    pages = {279-294},
    publisher = {Springer},
    team = {SYNC},
}

URL


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

info visites 3899816