Miños Fayad, A. DIDÁCTICA DE LA INFORMÁTICA Y MÉTODOS FORMALES: ¿POR QUÉ SON IMPORTANTES LOS MÉTODOS FORMALES PARA LA DIDÁCTICA DE LA INFORMÁTICA?. Rev. Elect. Form. y Cal. Educ. 2015, 3, 105-116.