Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord. Rank: A Tool to Check Program Termination and Computational Complexity. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013. pages 238, IEEE, 2013. [doi]
Abstract is missing.