Vanzetto, H., & Merz, S. (2014). Formalización de la aritmética de TLA+ en el asistente de pruebas Isabelle. Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario.
Cita Chicago Style (17a ed.)Vanzetto, Hernán P, y Stephan Merz. Formalización De La Aritmética De TLA+ En El Asistente De Pruebas Isabelle. Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2014.
Cita MLA (8a ed.)Vanzetto, Hernán P, y Stephan Merz. Formalización De La Aritmética De TLA+ En El Asistente De Pruebas Isabelle. Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2014.
Precaución: Estas citas no son 100% exactas.