Recommend this title to your librarian

  • Automatic Termination Analysis for Functional and Imperative Programs