Cuervo Parrino, B. E. (2011). Análisis de dataflow para mejorar la verificación de programas basada en SAT. Web
Citación estilo ChicagoCuervo Parrino, Bruno Esteban. Análisis De Dataflow Para Mejorar La Verificación De Programas Basada En SAT. 2011.
Cita MLACuervo Parrino, Bruno Esteban. Análisis De Dataflow Para Mejorar La Verificación De Programas Basada En SAT. 2011.
Precaución: Estas citas no son 100% exactas.