Search dblp for Publications

export results for "Certification of transformation algorithms in model-driven software development."

 download as .bib file

@inproceedings{DBLP:conf/se/GarciaM07,
  author       = {Miguel Garc{\'{\i}}a and
                  Ralf M{\"{o}}ller},
  title        = {Certification of transformation algorithms in model-driven software
                  development},
  booktitle    = {Software Engineering},
  series       = {{LNI}},
  volume       = {{P-105}},
  pages        = {107--118},
  publisher    = {{GI}},
  year         = {2007}
}