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