Defensa de tesis doctoral sobre la detención de errores de software mediante verificación de modelos

Iván García Ferreira, doctorando del Programa de Doctorado de “Ingeniería Informática y Telecomunicación”, defenderá su tesis doctoral: Detección de errores en software mediante verificación de modelos”, dirigida por Pablo García Bringas e Igor Santos Grueiro, el próximo día 23 de octubre, en la Sala Garate de Bilbao a las 10:00 de la mañana.