Pazos Corella, Verónica(Universitat Politècnica de València, 2011-11-02)
El trabajo de fin de máster depositado se ha realizado dentro del Programa
de Máster en Ingeniería del Software, Métodos Formales y Sistemas de
Información impartido por la Universidad Politécnica de Valencia. El
objetivo ...