Cita APA

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

Citación estilo Chicago

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

Cita MLA

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