Skip to main content
ixa2.si.ehu.eus/master
bilatzailea
Search
You are here
Home
Hasiera
Sarrera
Datu akademikoak
Matrikula
Programa
Irakasleak
Egutegia
Master-tesiak
Ikasleentzat
Lan eskaintzak
Webgune instituzionala
EMLCT
Galeria
Pribatua
Kontaktua
Eskatu beka
Languages
Euskera
English
Antolatzailea:
Sustatzailea:
Egoitza:
Master Tesia
Tituloa:
[en] Context-based Model Checking using SMT-solvers
Fitxategia:
MAL-LUCIO-HERMO-Context-based_Model_Checking_using_SMT-solvers.pdf
Tutorea:
montserrat.hermo@ehu.eus
Esleitua: