PhD thesis defence on software error detection through model verification

Iván García Ferreira, PhD student on the doctoral programme in “Computer and Telecommunications Engineering” will defend his PhD thesis entitled: “Detección de errores en software mediante verificación de modelos”, supervised by Pablo García Bringas and Igor Santos Grueiro, next 23 October, in Garate Room, Bilbao campus, at 10:00.