Vol-1688⫷ Vol-1689 ⫸Vol-1690
urn:nbn:de:0074-1689-0


Vol-1689/paper10⫷Vol-1689/paper11⫸Vol-1689/paper12
Wided GhardallouAli MiliNafi Diallo

Relative Correctness: A Bridge Between Proving and Testing