Módulo Empresarial para la Validación Formal de Ejercicios aplicado a la Programación Concurrente en Java

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
|

Aceptado: 09-02-2018

|
DOI: https://doi.org/10.1016/j.riai.2012.05.013