Cita APA (7a ed.)
NEWCOMBE, C., RATH, T., ZHANG, F., MUNTEANU, B., BROOKER, M., & DEARDEUFF, M. (2015). How Amazon Web Services Uses Formal Methods. Communications of the ACM, 58(4), 66-74.
Cita Chicago Style (17a ed.)
NEWCOMBE, CHRIS, TIM RATH, FAN ZHANG, BOGDAN MUNTEANU, MARC BROOKER, y MICHAEL DEARDEUFF. "How Amazon Web Services Uses Formal Methods." Communications of the ACM 58, no. 4 (2015): 66-74.
Cita MLA (9a ed.)
NEWCOMBE, CHRIS, et al. "How Amazon Web Services Uses Formal Methods." Communications of the ACM, vol. 58, no. 4, 2015, pp. 66-74.
Precaución: Estas citas no son 100% exactas.