Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
Universidad de Zaragoza
Zaragoza, EspañaUniversidad de Zaragoza-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
1999
-
Specifying Implementations
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC