Universidad: University of Murcia

Research group: Software Engineering

Email: atoval@um.es

Doctor by the Universitat Politècnica de València with the thesis Formalización algebraica de un entorno de producción automática de prototipos orientados a objetos 1994. Supervised by Dr. Isidro Ramos Salavert.