Hitzaldia: “Detección de errores en software mediante verificación de modelos”

Iván García Ferreira Informatikako Ingeniaritza eta Telekomunikazioko doktorego programako doktoregaiak tesia defendituko du: Detección de errores en software mediante verificación de modelos. Tesiaren zuzendariak Pablo García Bringas eta Igor Santos Grueiro dira, eta ekitaldia urriaren 23an izango da, 10:00etan, Garate aretoan.