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