Escobar-Sánchez, Milton Eduardo, and Walter Marcelo Fuertes-Díaz. 2015. “A Formal Model for the Functional Test of Software to Achieve Maturity Integrated Level 2”. Revista Facultad De Ingeniería 24 (39):31-42. https://doi.org/10.19053/01211129.3549.