Luna, Carlos Daniel. «Enseñando métodos Formales Con Coq». Revista Iberoamericana de Tecnología en Educación y Educación en Tecnología, no. 1 (diciembre 1, 2006): 10 p. Accedido octubre 11, 2024. https://teyet-revista.info.unlp.edu.ar/TEyET/article/view/180.