Login / Signup

Formal Verification of Termination Criteria for First-Order Recursive Functions.

César A. MuñozMauricio Ayala-RincónMariano M. MoscatoAaron DutleAnthony J. NarkawiczAriane Alves AlmeidaAndréia B. AvelarThiago Mendonça Ferreira Ramos
Published in: ITP (2021)
Keyphrases