GISUM

Grupo de Ingeniería del Software de la Universidad de Málaga

STREAM. Herramientas software formales: una aproximación multiparadigma
  • Entidad Financiera: Ministerio de Ciencia y Tecnología
  • Financiación: pública
  • Ámbito: nacional
  • Investigadores Responsables: Dr. Ernesto Pimentel Sánchez
  • Fecha de Comienzo: 12/28/2001
  • Fecha de Fin: 12/27/2004
  • Num. de participantes: 7
  • Participantes: Pablo López Olivas, Dr. Francisco Gutiérrez López, Dr. Blas Carlos Ruiz Jiménez, Dr. Antonio José Fernández Leiva, Dr. Francisco Javier Durán Muñoz, Dr. Juan Miguel Molina Bravo; Dr. José Enrique Gallardo Ruiz
  • Cuantía: 15,161.00 €
  • Referencia: TIC2001-2705-C03-02