@InProceedings{Dohrau18, author = {J. Dohrau and A. J. Summers and C. Urban and S. M\"unger and P. M\"uller}, title = {Permission Inference for Array Programs}, booktitle = {Computer Aided Verification (CAV)}, editor = {Chockler, Hana and Weissenbacher, Georg}, year = {2018}, series = {LNCS}, volume = {10982}, publisher = {Springer-Verlag}, pages = {55--74}, doi = {10.1007/978-3-319-96142-2_2}, url = {https://link.springer.com/chapter/10.1007/978-3-319-96142-2_7}, urltext = {[Publisher]} }