Cita APA

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

Citación estilo Chicago

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

Cita MLA

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