Thèse de doctorat

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

    Universidad Politécnica de Madrid