Area: Computer Languages and Systems

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.

Belonged to...