Model Correctness Patterns as an Educational Instrument - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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

This author has not been identified. Look up 'Azzam Maraee' in GoogleThis author has not been identified. Look up 'Mira Balaban' in GoogleThis author has not been identified. It may be one of the following persons:

Arnon Sturm

Look up 'Arnon Sturm' in GoogleThis author has not been identified. Look up 'Adiel Ashrov' in Google

runs on WebDSL