Iniciar Sesion
Portada
Prensa
Proyectos
Planet
Bases
Noticias
Colabora
Contacto
FAQ
Premios locales
Fase Final
Planet de proyectos.
Patrocinio
¿Quieres Patrocinar?
Consulta nuestro
Dossier de Patrocinio
Patrocinador Principal
Patrocinador Plata
Patrocinador Bronce
Medios Oficiales
Inicio
»
Lista de proyectos
IdiginBPEL
Interfaz gráfica para Takuan generador automático de invariantes para WS-BPEL.
Javier Santacruz López-Cepero
Universidad de Cádiz
Cádiz
Tutor/a
Antonio García
Universidad de Cádiz (Lenguajes y Sistemas Informáticos)
Colabora