Capozucca, A., Cristiá, M., Horne, R., & Katz, R. (2024). Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation.
Style de citation Chicago (17e éd.)Capozucca, Alfredo, Maximiliano Cristiá, Ross Horne, et Ricardo Katz. Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation. 2024.
Style de citation MLA (9e éd.)Capozucca, Alfredo, et al. Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.