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

Duration: from 01 January 2003 to 30 November 2004

Researchers