External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Rank: A Tool to Check Program Termination and Computational Complexity

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]

Authors

Christophe Alias

This author has not been identified. Look up 'Christophe Alias' in Google

Alain Darte

This author has not been identified. Look up 'Alain Darte' in Google

Paul Feautrier

This author has not been identified. It may be one of the following persons: Look up 'Paul Feautrier' in Google

Laure Gonnord

This author has not been identified. Look up 'Laure Gonnord' in Google
runs on