Department: INGENIERÍA DEL SOFTW. Y SIST. INFORMÁTICOS

Center: E.T.S. DE INGENIERÍA INFORMÁTICA

Doctor by the UNED. Universidad Nacional de Educación a Distancia with the thesis BDD algorithms to perform hard analysis operations on variability models 2015. Supervised by Dr. Rubén Heradio Gil, Dr. David Jose Fernandez Amoros.