López Pombo, C. G., & Frias, M. (2010). Dynamite 2.0: New features based on UnSAT-core extraction to improve verification of software requirements.
Cita Chicago Style (17a ed.)López Pombo, Carlos Gustavo, y Marcelo Frias. Dynamite 2.0: New Features Based on UnSAT-core Extraction to Improve Verification of Software Requirements. 2010.
Cita MLA (8a ed.)López Pombo, Carlos Gustavo, y Marcelo Frias. Dynamite 2.0: New Features Based on UnSAT-core Extraction to Improve Verification of Software Requirements. 2010.
Precaución: Estas citas no son 100% exactas.