«Propuesta Uso de Metodologías Formales Combinadas con Metodologías Agiles para el Desarrollo de Software», GEEKS, vol. 2, n.º 1, oct. 2016, doi: 10.24133/gdr.v2i1.238.