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]
@inproceedings{CatanoHR12,
title = {Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies},
author = {Néstor Cataño and Sorren Hanvey and Camilo Rueda},
year = {2012},
doi = {10.1007/978-3-642-30561-0_2},
url = {http://dx.doi.org/10.1007/978-3-642-30561-0_2},
researchr = {https://researchr.org/publication/CatanoHR12},
cites = {0},
citedby = {0},
pages = {9-16},
booktitle = {Objects, Models, Components, Patterns - 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings},
editor = {Carlo A. Furia and Sebastian Nanz},
volume = {7304},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-30560-3},
}