Néstor Cataño, Sorren Hanvey, Camilo Rueda. Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies. In Carlo A. Furia, Sebastian Nanz, editors, Objects, Models, Components, Patterns - 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings. Volume 7304 of Lecture Notes in Computer Science, pages 9-16, Springer, 2012. [doi]