@incollection{Courant2017, author = {Courant, Nathanaƫl and Urban, Caterina}, doi = {10.1007/978-3-662-54577-5_8}, journal = {Lecture Notes in Computer Science}, month = {jan}, pages = {136-152}, title = {Precise Widening Operators for Proving Termination by Abstract Interpretation}, url = {https://zenodo.org/record/894778/files/article.pdf}, year = {2017} }