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]

Abstract

Abstract is missing.