Verimag

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

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 22 ; visits: 392107