UE Models and languages for model checking

Degrees incorporating this pedagocial element :