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
_version_ 1797093245313875968
author Agrafiotis, I
Creese, S
Goldsmith, M
author_facet Agrafiotis, I
Creese, S
Goldsmith, M
author_sort Agrafiotis, I
collection OXFORD
description
first_indexed 2024-03-07T03:57:31Z
format Book
id oxford-uuid:c360d484-16a5-4969-b829-2f34f2b014ca
institution University of Oxford
last_indexed 2024-03-07T03:57:31Z
publishDate 2012
record_format dspace
spelling oxford-uuid:c360d484-16a5-4969-b829-2f34f2b014ca2022-03-27T06:16:00ZFormalising Requirements for a Biobank Case Study Using a Logic for Consent and RevocationBookhttp://purl.org/coar/resource_type/c_2f33uuid:c360d484-16a5-4969-b829-2f34f2b014caDepartment of Computer Science2012Agrafiotis, ICreese, SGoldsmith, M
spellingShingle Agrafiotis, I
Creese, S
Goldsmith, M
Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation
title Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation
title_full Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation
title_fullStr Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation
title_full_unstemmed Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation
title_short Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation
title_sort formalising requirements for a biobank case study using a logic for consent and revocation
work_keys_str_mv AT agrafiotisi formalisingrequirementsforabiobankcasestudyusingalogicforconsentandrevocation
AT creeses formalisingrequirementsforabiobankcasestudyusingalogicforconsentandrevocation
AT goldsmithm formalisingrequirementsforabiobankcasestudyusingalogicforconsentandrevocation