1 paper
Steffen Dick, Christoph Bockisch, Harrie Passier +2
Correctness is one of the more important criteria of qualitative software. However, it is often taught in isolation and most students consider it only as an afterthought. They also…