Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
Grenoble Alpes University
Saint-Martin-d’Hères, FranciaPublikationen in Zusammenarbeit mit Forschern von Grenoble Alpes University (1)
2006
-
Towards Diagrammatic Specifications of Symbolic Computation Systems
Dagstuhl Seminar Proceedings