Moussa Amrani

Towards the Formal Verification of Model Transformations: An Application to Kermeta.
. University of Luxembourg, (2013)base-search.net (ftunivluxembourg:oai:orbilu.uni.lu:10993/14635).
  •  Doktorvater / Doktormutter:
  •  Erstgutachter_in:
  •  Gutachter_in:
  •  Betreuer_in:
  •  Autor_in: Moussa Amrani
  •  Herausgeber_in:
  •  Andere:
mehr

Keine Ressourcen gefunden