Cita APA (7a ed.)

Moscato, M., López Pombo, C., & Frias, M. Dynamite 2.0: New features based on UnSAT-core extraction to improve verification of software requirements.

Cita Chicago Style (17a ed.)

Moscato, M.M, C.G López Pombo, y M.F Frias. Dynamite 2.0: New Features Based on UnSAT-core Extraction to Improve Verification of Software Requirements.

Cita MLA (8a ed.)

Moscato, M.M, et al. Dynamite 2.0: New Features Based on UnSAT-core Extraction to Improve Verification of Software Requirements.