Propuesta Uso de Metodologías Formales Combinadas con Metodologías Agiles para el Desarrollo de Software. (2016). GEEKS DECC-REPORTS, 2(1). https://doi.org/10.24133/gdr.v2i1.238