@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},
}
