Towards Diagrammatic Specifications of Symbolic Computation Systems (2006)

by C. Domínguez , D. Duval , L. Lambán , J. Rubio
Citations:3 - 3 self