Giménez, F. A. (2017). Recuperación de fórmulas culpables mediante análisis de unsat core. Web
Citación estilo ChicagoGiménez, Francisco Andrés. Recuperación De Fórmulas Culpables Mediante Análisis De Unsat Core. 2017.
Cita MLAGiménez, Francisco Andrés. Recuperación De Fórmulas Culpables Mediante Análisis De Unsat Core. 2017.
Precaución: Estas citas no son 100% exactas.