Skip to main content
ixa2.si.ehu.eus/master
bilatzailea
Search
You are here
Home
Home
Introduction
Academic information
Applications
Program
Teachers
Calendar
Master's Thesis
For students
Interships
Institutional website
EMLCT
Gallery
Private
Contact
Applicate for HAP-LAP scholarship
Languages
Euskera
English
Antolatzailea:
Sustatzailea:
Egoitza:
Master Tesia
Title:
[en] Context-based Model Checking using SMT-solvers
File:
MAL-LUCIO-HERMO-Context-based_Model_Checking_using_SMT-solvers.pdf
Tutor:
montserrat.hermo@ehu.eus
Assigned: