Arch, D. D., & Barsotti, D. (2016). Verificación formal de código binario.
Cita Chicago Style (17a ed.)Arch, David Daniel, y Damián Barsotti. Verificación Formal De Código Binario. 2016.
Cita MLA (8a ed.)Arch, David Daniel, y Damián Barsotti. Verificación Formal De Código Binario. 2016.
Precaución: Estas citas no son 100% exactas.