Cita APA (7a ed.)

Regis, G., Cornejo, C., Gutiérrez Brida, S., Politano, M., Raverta, F., Ponzio, P., . . . Frías, M. (2019). DynAlloy analyzer: A tool for the specification and analysis of Alloy models with dynamic behaviour.

Cita Chicago Style (17a ed.)

Regis, Germán, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, y Marcelo Frías. DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour. 2019.

Cita MLA (8a ed.)

Regis, Germán, et al. DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour. 2019.