Cita APA (7a ed.)

Moscato, M., Lopez Pombo, C., & Frias, M. Dynamite: A tool for the verification of alloy models based on PVS.

Cita Chicago Style (17a ed.)

Moscato, M.M, C.G Lopez Pombo, y M.F Frias. Dynamite: A Tool for the Verification of Alloy Models Based on PVS.

Cita MLA (8a ed.)

Moscato, M.M, et al. Dynamite: A Tool for the Verification of Alloy Models Based on PVS.