@InProceedings{CourantUrban17, author = {N. Courant and C. Urban}, title = {Precise Widening Operators for Proving Termination by Abstract Interpretation}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS)}, year = {2017}, series = {LNCS}, publisher = {Springer-Verlag}, pages = {136--152}, url = {https://doi.org/10.1007/978-3-662-54577-5_8}, urltext = {[Publisher]} }