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