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