A Semantic Framework for Program Debugging

Wei Li 0022. A Semantic Framework for Program Debugging. In Laura Kovács, Temur Kutsia, editors, 5th International Symposium on Symbolic Computation in Software Science, SCSS 2013. Volume 15 of EPiC Series, pages 2, EasyChair, 2013. [doi]

Abstract

Abstract is missing.