Presentación

El proyecto es una propuesta coordinada de los equipos de cuatro universidades, con experiencia previa en I+D dentro del campo de los métodos formales en la ingeniería del software y la programación declarativa multiparadigma.