| 2006 | ||
|---|---|---|
| 2 | Rohit N. Kundaji, R. K. Shyamasundar: Refinement calculus: A basis for translation validation, debugging and certification. Theor. Comput. Sci. 354(1): 153-168 (2006) | |
| 2004 | ||
| 1 | Rohit N. Kundaji, R. K. Shyamasundar: Development of Semantic Debuggers Based on Refinement Calculus. ICLP 2004: 460-461 | |
| 1 | R. K. Shyamasundar | [1] [2] |