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