Capozucca, A., Cristiá, M., Horne, R., & Katz, R. (2024). Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation.
Citazione stile Chigago Style (17a edizione)Capozucca, Alfredo, Maximiliano Cristiá, Ross Horne, e Ricardo Katz. Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation. 2024.
Citatione MLA (9a ed.)Capozucca, Alfredo, et al. Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.