Publicaciones en colaboración con investigadores/as de University of Dundee (1)

2013

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

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