“Propuesta Uso De Metodologías Formales Combinadas Con Metodologías Agiles Para El Desarrollo De Software”. GEEKS DECC-REPORTS, vol. 2, no. 1, Oct. 2016, https://doi.org/10.24133/gdr.v2i1.238.