Lightweight and static verification of UML executable models

 

Documents amb el text complet d'aquesta tesi

Aquesta tesi apareix a les col·leccions següents