C. Samuel Hsieh
-
A Knowledge-Based Approach to the Analysis of Loops
IEEE Transactions on Software Engineering