Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
Grenoble Alpes University
Saint-Martin-d’Hères, FranciaPublications en collaboration avec des chercheurs de Grenoble Alpes University (1)
2006
-
Towards Diagrammatic Specifications of Symbolic Computation Systems
Dagstuhl Seminar Proceedings