Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
Grenoble Alpes University
Saint-Martin-d’Hères, FranciaGrenoble Alpes University-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
2006
-
Towards Diagrammatic Specifications of Symbolic Computation Systems
Dagstuhl Seminar Proceedings