Cita APA (7a ed.)
BALL, T., LEVIN, V., & RAJAMANI, S. K. (2011). A Decade of Software Model Checking with SLAM. Communications of the ACM, 54(7), 68-77.
Cita Chicago Style (17a ed.)
BALL, THOMAS, VLADIMIR LEVIN, y SRIRAM K. RAJAMANI. "A Decade of Software Model Checking with SLAM." Communications of the ACM 54, no. 7 (2011): 68-77.
Cita MLA (9a ed.)
BALL, THOMAS, et al. "A Decade of Software Model Checking with SLAM." Communications of the ACM, vol. 54, no. 7, 2011, pp. 68-77.
Precaución: Estas citas no son 100% exactas.