Search Results

  • Obtención automática del entorno en la verificación modular de sistemas reactivos [2003]

    Category:
    Tesis
    Authors:
    Claudio A. de la Riva Álvarez
    Directors:
    Pablo Javier Tuya González
    Departament:
    Informática, Departamento de
    Date:
    01 of January of 2003