Thèses dirigées (1)

  1. Verificación automática del comportamiento activo de uml usando métodos formales 2004

    Universidad de Valladolid

    Beato Gutiérrez, María Encarnación