Escobar-Sánchez, M.E. and Fuertes-Díaz, W.M. 2015. A formal model for the functional test of software to achieve maturity integrated level 2. Revista Facultad de Ingeniería. 24, 39 (May 2015), 31–42. DOI:https://doi.org/10.19053/01211129.3549.