Rohit N. Kundaji

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006

2 EE 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 EE Rohit N. Kundaji, R. K. Shyamasundar: Development of Semantic Debuggers Based on Refinement Calculus. ICLP 2004: 460-461

2006
2	EE	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	EE	Rohit N. Kundaji, R. K. Shyamasundar: Development of Semantic Debuggers Based on Refinement Calculus. ICLP 2004: 460-461

Coauthor Index

1 R. K. Shyamasundar [1] [2]