3 citations · 5 across the 4 of their papers we have counts for
1 paper · 2 filters
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,…