Resultados de la búsqueda

  • Verificación de restricciones estáticas y dinámicas de modelo en entornos atómicos para lenguajes orientados a objetos [2015]

    Categoría:
    Tesis
    Autores:
    Alberto Manuel Fernández Álvarez
    Directores:
    Daniel Fernández Lanvin , Raúl Izquierdo Castanedo
    Departamento:
    Informática, Departamento de
    Fecha:
    27 de Noviembre de 2015