Publications dans lesquelles il/elle collabore avec Francisco Jesús Martín Mateos (1)

2015

  1. Modelling algebraic structures and morphisms in ACL2

    Applicable Algebra in Engineering, Communications and Computing, Vol. 26, Núm. 3, pp. 277-303