Verifying a platform for digital imaging: a multi-tool strategy

Ponente: Jónatan Heras Vicente (School of Computing, University of Dundee)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: jueves 13 de junio, 12:00