@inproceedings{PardoColomboPaceSchneiderRV2016,
author="Pardo, Ra{\'u}l and Colombo, Christian and Pace, Gordon J. and Schneider, Gerardo",
title="An Automata-Based Approach to Evolving Privacy Policies for Social Networks",
bookTitle="Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23--30, 2016, Proceedings",
year="2016",
publisher="Springer International Publishing",
pages="285--301",
doi="10.1007/978-3-319-46982-9_18",
url="http://dx.doi.org/10.1007/978-3-319-46982-9_18"
}