Typ studia PhD. Absolvování BS 2000 Absolvování PGS 2010 Dizertační práce Automatizované transformace objektově orientovaných modelů