Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
Dominique
Duval
Publications dans lesquelles il/elle collabore avec Dominique Duval (2)
2006
-
Towards Diagrammatic Specifications of Symbolic Computation Systems
Dagstuhl Seminar Proceedings
2005
-
Towards Diagrammatic Specifications of Symbolic Computation Systems.
Dagstuhl Seminar Proceedings