Formalising Requirements for a Biobank Scenario using a Logic for Consent and Revocation
M. Goldsmith I. Agrafiotis S. Creese
Book Title
Proceedings of the IFIP Summer School 2011
Month
September
Year
2011
M. Goldsmith I. Agrafiotis S. Creese