Publications en collaboration avec des chercheurs de Universidad de Sevilla (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