Versión - Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML

  • Mostrando 1 - 2 Resultados de 2
Limitar resultados
  1. 1

    Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML por Dias Molina, María José

    2011
    Enlace del recurso / Disponible en línea
    Tesis
  2. 2

    Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML por Dias Molina, María José

    2011
    Enlace del recurso / Disponible en línea
    Tesis

Herramientas de búsqueda: