Tesis doctoral

  1. Análisis y verificación de programas modulares 2008

    Universidad Politécnica de Madrid