1.
Luna CD. Enseñando métodos formales con Coq. TEyET [Internet]. 1 de diciembre de 2006 [citado 21 de julio de 2024];(1):10 p. Disponible en: https://teyet-revista.info.unlp.edu.ar/TEyET/article/view/180