Publication

[ChenHLLTTZ18] Advanced Automata-based Algorithms for Program Termination Checking Chen, Y.-F.; Heizmann, M.; Lengál, O.; Li, Y.; Tsai, M.-H.; Turrini, A. and Zhang, L. In PLDI, 2018.
Note: Accepted for publication

Downloads: bib