«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.