Refinement calculus: A basis for translation validation, debugging and certification

Rohit N. Kundaji, R. K. Shyamasundar. Refinement calculus: A basis for translation validation, debugging and certification. Theoretical Computer Science, 354(1):153-168, 2006. [doi]

Abstract

Abstract is missing.