[1]
M. Escobar-Sánchez and W. Fuertes-Díaz, “A formal model for the functional test of software to achieve maturity integrated level 2”, RFING, vol. 24, no. 39, pp. 31-42, May 2015.