Cristiá, M., De Luca, G., & Luna, C. (2023). An Automatically Verified Prototype of the Android Permissions System. Journal of automated reasoning, 67(2), 17. https://doi.org/10.1007/s10817-023-09666-2
Citácia podle Chicago (17th ed.)Cristiá, Maximiliano, Guido De Luca, a Carlos Luna. "An Automatically Verified Prototype of the Android Permissions System." Journal of Automated Reasoning 67, no. 2 (2023): 17. https://doi.org/10.1007/s10817-023-09666-2.
Citácia podľa MLA (8th ed.)Cristiá, Maximiliano, et al. "An Automatically Verified Prototype of the Android Permissions System." Journal of Automated Reasoning, vol. 67, no. 2, 2023, p. 17, https://doi.org/10.1007/s10817-023-09666-2.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..