1 paper · 1 filter
Nafi Diallo, Wided Ghardallou, Jules Desharnais +1
Relative correctness is the property of a program to be more-correct than another program with respect to a given specification. Among the many properties of relative correctness,…