Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
Grenoble Alpes University
Saint-Martin-d’Hères, FranciaPublicaciones en colaboración con investigadores/as de Grenoble Alpes University (1)
2006
-
Towards Diagrammatic Specifications of Symbolic Computation Systems
Dagstuhl Seminar Proceedings