Used together with:
social
(1)
method
(1)
privaci
(1)
tool
(1)
network
(1)
Stem
poporo$ (
all stems
)
1 papers:
TOOLS-EUROPE-2012-CatanoHR
#formal method
#named
#network
#policy
#privacy
#social
Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies (
NC
,
SH
,
CR
), pp. 9–16.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.