RTI uses cookies to offer you the best experience online. By clicking “accept” on this website, you opt in and you agree to the use of cookies. If you would like to know more about how RTI uses cookies and how to manage them please view our Privacy Policy here. You can “opt out” or change your mind by visiting: http://optout.aboutads.info/. Click “accept” to agree.
Chen, T., & Meyer, M. (2008). Alternative Methods in Proving Loop Termination. In ISCA 17th International Conference on Software Engineering and Data Engineering (SEDE-2008) (pp. 194 - 197)
