@phdthesis{basesearch-7055,
  title = {Towards the Formal Verification of Model Transformations: An Application to Kermeta},
  author = {Moussa Amrani},
  year = {2013},
  url = {https://www.base-search.net/Record/302328f79937e42de4e514df309982ec2b5c942b0d157bb984bcb5702d7f6e82},
  note = {base-search.net (ftunivluxembourg:oai:orbilu.uni.lu:10993/14635)},
  researchr = {https://researchr.org/publication/basesearch-7055},
  cites = {0},
  citedby = {0},
  school = {University of Luxembourg},
}