Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation

Bibliographic Details
Main Authors: Agrafiotis, I, Creese, S, Goldsmith, M
Format: Book
Published: 2012