@proceedings{safecomp-2012,
  title = {SAFECOMP, Proceedings},
  year = {2012},
  tags = {interaction design, design science, rule-based, program analysis, meta programming, program verification, meta-model, domain analysis, testing, analysis, human-computer interaction, requirements engineering, model-driven engineering, certification, security, e-science, Meta-Environment, reliability, design, systematic-approach, human factors},
  researchr = {https://researchr.org/publication/safecomp-2012},
  cites = {0},
  citedby = {0},
  booktitle = {SAFECOMP, Proceedings},
  conference = {safecomp},
}