학술논문
Formal Verification of Termination Criteria for First-Order Recursive Functions
Document Type
Article
Author
Source
In: Journal of Automated Reasoning . (Journal of Automated Reasoning, December 2023, 67(4))
Subject
Language
English
ISSN
15730670
01687433
01687433