Skip to main content

Refinement Checking for Privacy Policies

S. Creese N. Papanikolaou M. Goldsmith

Journal
Science of Computer Programming
Year
2011