Arch, D. D. (2015). Verificación formal de código binario. Web
Citación estilo ChicagoArch, David Daniel. Verificación Formal De Código Binario. 2015.
Cita MLAArch, David Daniel. Verificación Formal De Código Binario. 2015.
Precaución: Estas citas no son 100% exactas.