Publications

@inproceedings{GGL+06_ag,
  author = {H. Giese AND S. Glesner AND J. Leitner AND W. Sch{\"a}fer AND R. Wagner},
  title = {Towards Verified Model Transformations},
  booktitle = {Proc. of the 3rd International Workshop on Model Development, Validation and Verification (MoDeV2a), Genova, Italy},
  year = {2006}
}