Refinement Checking for Privacy Policies
S. Creese N. Papanikolaou M. Goldsmith
Details
| Journal |
Science of Computer Programming |
| Year |
2011 |
Links
DOI (10.1016/j.scico.2011.07.009)
Related pages
|
People |