![](/img/cover-not-exists.png)
[ACM Press the 2017 11th Joint Meeting - Paderborn, Germany (2017.09.04-2017.09.08)] Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017 - Loopster: static loop termination analysis
Xie, Xiaofei, Chen, Bihuan, Zou, Liang, Lin, Shang-Wei, Liu, Yang, Li, XiaohongYear:
2017
Language:
english
DOI:
10.1145/3106237.3106260
File:
PDF, 331 KB
english, 2017