Necco, C. M., Oliveira, J. N., Visser, J., & Uzal, R. (2017). Computer Aided Verification of Relational Models by Strategic Rewriting. Postgraduate Office, School of Computer Science, Universidad Nacional de La Plata.
Chicago Style (17th ed.) CitationNecco, Claudia Mónica, José N. Oliveira, Joost Visser, and Roberto Uzal. Computer Aided Verification of Relational Models by Strategic Rewriting. Postgraduate Office, School of Computer Science, Universidad Nacional de La Plata, 2017.
MLA (8th ed.) CitationNecco, Claudia Mónica, et al. Computer Aided Verification of Relational Models by Strategic Rewriting. Postgraduate Office, School of Computer Science, Universidad Nacional de La Plata, 2017.
Warning: These citations may not always be 100% accurate.