Tesis doctoral

  1. Algoritmos heurísticos y aplicaciones a métodos formales 2010

    Universidad Complutense de Madrid