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).
  •  Doctoral advisor:
  •  First reviewer:
  •  Reviewer:
  •  Advisor:
  •  Author: Moussa Amrani
  •  Editor:
  •  Other:
more

No resources found