Model Correctness Patterns as an Educational Instrument

Azzam Maraee, Mira Balaban, Arnon Sturm, Adiel Ashrov. Model Correctness Patterns as an Educational Instrument. ECEASST, 52, 2011. [doi]

@article{MaraeeBSA11,
  title = {Model Correctness Patterns as an Educational Instrument},
  author = {Azzam Maraee and Mira Balaban and Arnon Sturm and Adiel Ashrov},
  year = {2011},
  url = {http://journal.ub.tu-berlin.de/eceasst/article/view/782},
  researchr = {https://researchr.org/publication/MaraeeBSA11},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {52},
}