Módulo Empresarial para la Validación Formal de Ejercicios aplicado a la Programación Concurrente en Java P. Basanta Val | M. García Valls | I. Estévez Ayres | M.J. Martin Gutiérrez | Ver más P. Basanta Val Spain Universidad Carlos III de Madrid Departamento de Ingeniería Telemática M. García Valls Spain Universidad Carlos III de Madrid Departamento de Ingeniería Telemática I. Estévez Ayres Spain Universidad Carlos III de Madrid Departamento de Ingeniería Telemática M.J. Martin Gutiérrez Spain Universidad Carlos III de Madrid Departamento de Ingeniería Telemática Enviado: 09-02-2018 | Aceptado: 09-02-2018 | DOI: https://doi.org/10.1016/j.riai.2012.05.013