APA (7th ed.) Citation

Bacelar Almeida, J. C., Barbosa, M., Barthe, G., Pacheco, H., Pereira, V., & Portela, B. (2022). A formal treatment of the role of verified compilers in secure computation. Journal of logical and algebraic methods in programming, 125, 100736. https://doi.org/10.1016/j.jlamp.2021.100736

Chicago Style (17th ed.) Citation

Bacelar Almeida, José Carlos, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, and Bernardo Portela. "A Formal Treatment of the Role of Verified Compilers in Secure Computation." Journal of Logical and Algebraic Methods in Programming 125 (2022): 100736. https://doi.org/10.1016/j.jlamp.2021.100736.

MLA (9th ed.) Citation

Bacelar Almeida, José Carlos, et al. "A Formal Treatment of the Role of Verified Compilers in Secure Computation." Journal of Logical and Algebraic Methods in Programming, vol. 125, 2022, p. 100736, https://doi.org/10.1016/j.jlamp.2021.100736.