APA (7th ed.) Citation

Capozucca, A., Cristiá, M., Horne, R., & Katz, R. (2024). Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation.

Chicago Style (17th ed.) Citation

Capozucca, Alfredo, Maximiliano Cristiá, Ross Horne, and Ricardo Katz. Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation. 2024.

MLA (9th ed.) Citation

Capozucca, Alfredo, et al. Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation. 2024.