Cita APA (7a ed.)
BARNETT, M., FÄHNDRICH, M., LEINO, K. R. M., MÜLLER, P., SCHULTE, W., & VENTER, H. (2011). Specification and Verification: The Spec# Experience. Communications of the ACM, 54(6), 81-92.
Cita Chicago Style (17a ed.)
BARNETT, MIKE, MANUEL FÄHNDRICH, K. RUSTAN M. LEINO, PETER MÜLLER, WOLFRAM SCHULTE, y HERMAN VENTER. "Specification and Verification: The Spec# Experience." Communications of the ACM 54, no. 6 (2011): 81-92.
Cita MLA (9a ed.)
BARNETT, MIKE, et al. "Specification and Verification: The Spec# Experience." Communications of the ACM, vol. 54, no. 6, 2011, pp. 81-92.
Precaución: Estas citas no son 100% exactas.