Publicaciones en las que colabora con Rubén Sáenz Francia (1)

2013

  1. Verifying a plaftorm for digital imaging: A multi-tool strategy

    Lecture Notes in Computer Science, Vol. 7961 LNAI, pp. 66-81