Cita APA (7a ed.)

Frias, M., Lopez Pombo, C., & Moscato, M. Alloy Analyzer+PVS in the analysis and verification of Alloy specifications.

Cita Chicago Style (17a ed.)

Frias, M.F, C.G Lopez Pombo, y M.M Moscato. Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications.

Cita MLA (8a ed.)

Frias, M.F, et al. Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications.