Return to Article Details Model Correctness Patterns as an Educational Instrument Download Download PDF