Rohit N. Kundaji

	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

Coauthor Index

1

R. K. Shyamasundar (Rudrapatna K. Shyamasundar)

[1] [2]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page