María Vico
Pascual Martínez-Losa
PROFESORA TITULAR DE UNIVERSIDAD
Universidad de Sevilla
Sevilla, EspañaPublicacions en col·laboració amb investigadors/es de Universidad de Sevilla (1)
2015
-
Modelling algebraic structures and morphisms in ACL2
Applicable Algebra in Engineering, Communications and Computing, Vol. 26, Núm. 3, pp. 277-303