Cita APA (7a ed.)

Necco, C. M., Oliveira, J. R., Visser, J., & Uzal, R. (2016). Computer Aided Verification of Relational Models.

Cita Chicago Style (17a ed.)

Necco, Claudia Mónica, José R. Oliveira, Joost Visser, y Roberto Uzal. Computer Aided Verification of Relational Models. 2016.

Cita MLA (8a ed.)

Necco, Claudia Mónica, et al. Computer Aided Verification of Relational Models. 2016.