Cattamanchi Ramalinga Reddy
-
Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers
IEEE Transactions on Software Engineering
Deleting Repeated Goals in the Problem Reduction Format
Journal of the ACM (JACM)