Termination analysis of programs with multiphase control-flow
Actes:
Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 2075-2180
Any de publicació: 2021
Volum: 344
Pàgines: 13-21
Tipus: Aportació congrés