@inproceedings{PacePardoSchneiderISOLA2016,
author="Pace, Gordon J. and Pardo, Ra{\'u}l and Schneider, Gerardo",
title="On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks",
bookTitle="Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II",
year="2016",
publisher="Springer International Publishing",
pages="407--412",
doi="10.1007/978-3-319-47169-3_33",
url="http://dx.doi.org/10.1007/978-3-319-47169-3_33"
}