Universidad Nacional de Avellaneda
La Universidad Nacional de Avellaneda estuvo presente en el congreso "CACIC 2017: XXIII Congreso Argentino de Ciencias de la Computación", realizado entre el 9 y el 13 de octubre de 2017 en la Facultad de Informática de la Universidad Nacional de La Plata.
En el mismo, el Dr. Fernando Asteasuain, docente e investigador de la carrera de Ingeniería en Informática perteneciente al Departamento de Tecnología y Administración de la Universidad Nacional de Avellaneda, presentó el trabajo "Exploring Architectural Model Checking with Declarative Specifications " en el workshop de Ingeniería de Software.
Publicada el 20/10/2017.
