EasyChair Smart Slide
Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics
Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics