Cita APA (7a ed.)

Necco, C. M., Oliveira, J. N., Visser, J., & Uzal, R. (2017). Computer Aided Verification of Relational Models by Strategic Rewriting.

Cita Chicago Style (17a ed.)

Necco, Claudia Mónica, José N. Oliveira, Joost Visser, y Roberto Uzal. Computer Aided Verification of Relational Models by Strategic Rewriting. 2017.

Cita MLA (8a ed.)

Necco, Claudia Mónica, et al. Computer Aided Verification of Relational Models by Strategic Rewriting. 2017.