“Propuesta Uso de Metodologías Formales Combinadas con Metodologías Agiles para el Desarrollo de Software”, GEEKS, vol. 2, no. 1, Oct. 2016, doi: 10.24133/gdr.v2i1.238.