Cita APA (7a ed.)

López Pombo, C. G., & Frias, M. (2014). Dynamite: A tool for the verification of alloy models based on PVS.

Cita Chicago Style (17a ed.)

López Pombo, Carlos Gustavo, y Marcelo Frias. Dynamite: A Tool for the Verification of Alloy Models Based on PVS. 2014.

Cita MLA (8a ed.)

López Pombo, Carlos Gustavo, y Marcelo Frias. Dynamite: A Tool for the Verification of Alloy Models Based on PVS. 2014.