Cita APA (7a ed.)

Garis, A., & Sanchez, A. (2015). Verification and validation of domain specific languages using Alloy.

Cita Chicago Style (17a ed.)

Garis, Ana Gabriela, y Alejandro Sanchez. Verification and Validation of Domain Specific Languages Using Alloy. 2015.

Cita MLA (8a ed.)

Garis, Ana Gabriela, y Alejandro Sanchez. Verification and Validation of Domain Specific Languages Using Alloy. 2015.