Greengard, S. (2021). Formal Software Verification Measures Up: Verified coding techniques use mathematical proofs to ensure code is error-free and hacker-resistant. Can the approach revolutionize software? Communications of the ACM, 64(7), 13-16.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita Chicago Style (17a ed.)
Greengard, Samuel. "Formal Software Verification Measures Up: Verified Coding Techniques Use Mathematical Proofs to Ensure Code Is Error-free and Hacker-resistant. Can the Approach Revolutionize Software?"
Communications of the ACM 64, no. 7 (2021): 13-16.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita MLA (9a ed.)
Greengard, Samuel. "Formal Software Verification Measures Up: Verified Coding Techniques Use Mathematical Proofs to Ensure Code Is Error-free and Hacker-resistant. Can the Approach Revolutionize Software?"
Communications of the ACM, vol. 64, no. 7, 2021, pp. 13-16.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Precaución: Estas citas no son 100% exactas.