Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
Universidad de Zaragoza
Zaragoza, EspañaPublicacions en col·laboració amb investigadors/es de Universidad de Zaragoza (1)
1999
-
Specifying Implementations
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC