Entornos de especificación y programación para sistemas de cálculo simbólico.

Duration of the 01 of January of 2003 to 30 of November of 2004

Researchers