Master Tesia

Title: 
[en] Context-based Model Checking using SMT-solvers
Tutor: 
montserrat.hermo@ehu.eus