Journal article icon

Journal article

Refinement checking for privacy policies.

Publication status:
Published

Actions


Access Document


Publisher copy:
10.1016/j.scico.2011.07.009

Authors


Papanikolaou, N More by this author
Goldsmith, M More by this author
Journal:
Sci. Comput. Program.
Volume:
77
Issue:
10-11
Pages:
1198-1209
Publication date:
2012
DOI:
ISSN:
0167-6423
URN:
uuid:1bc1f5bc-4262-4844-a06e-3a7f4bf553cf
Source identifiers:
328777
Local pid:
pubs:328777

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP