Jonathan
Heras Vicente
PROFESOR TITULAR DE UNIVERSIDAD
Rubén
Sáenz Francia
Publicaciones en las que colabora con Rubén Sáenz Francia (1)
2013
-
Verifying a plaftorm for digital imaging: A multi-tool strategy
Lecture Notes in Computer Science, Vol. 7961 LNAI, pp. 66-81