Lightweight and static verification of UML executable models

Aqui va el pdf

Documents amb el text complet d'aquesta tesi

Aquesta tesi apareix a les col·leccions següents