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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.