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