Termination analysis of programs with multiphase control-flow
Actas:
Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 2075-2180
Ano de publicación: 2021
Volume: 344
Páxinas: 13-21
Tipo: Achega congreso