Refinement calculus: A basis for translation validation, debugging and certification
- Rohit N. Kundaji
- R.K. Shyamasundar
- 2006
- Theoretical Computer Science
Publications
Date
Featured collections
Popular topics
2 results for R.K. Shyamasundar
Proving termination of GHC programs
- M.R.K. Krishna Rao
- D. Kapur
- et al.
- 1997
- New Generation Computing