BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
Collaborated with:
N.Cataño C.Rueda
Talks about:
privaci (1) network (1) social (1) poporo (1) polici (1) method (1) formal (1) check (1) tool (1) fast (1)

Person: Sorren Hanvey

DBLP DBLP: Hanvey:Sorren

Contributed to:

TOOLS Europe 20122012

Wrote 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.