@inproceedings{5567,
  title = "Applying formal methods to describe the privacy-control requirements in real case-study scenario: emerging ambiguities and proposed solutions",
  author = "I. Agrafiotis, S. Creese, M. Goldsmith, N. Papanikolaou",
  year = "2010",
  booktitle = "Proceedings of 2010 IFIP/PrimeLife Summer School",
}