Iniciar Sesion

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íaUniversidad de Cádiz (Lenguajes y Sistemas Informáticos)

Colabora