Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
Universidad de Zaragoza
Zaragoza, EspañaPublications en collaboration avec des chercheurs de Universidad de Zaragoza (1)
1999
-
Specifying Implementations
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC