Precise Widening Operators for Proving Termination by Abstract Interpretation

Zenodo DOI Badge

DOI

10.1007/978-3-662-54577-5_8

Markdown

[![DOI](https://zenodo.org/badge/DOI/10.1007/978-3-662-54577-5_8.svg)](https://doi.org/10.1007/978-3-662-54577-5_8)

reStructedText

.. image:: https://zenodo.org/badge/DOI/10.1007/978-3-662-54577-5_8.svg
   :target: https://doi.org/10.1007/978-3-662-54577-5_8

HTML

<a href="https://doi.org/10.1007/978-3-662-54577-5_8"><img src="https://zenodo.org/badge/DOI/10.1007/978-3-662-54577-5_8.svg" alt="DOI"></a>

Image URL

https://zenodo.org/badge/DOI/10.1007/978-3-662-54577-5_8.svg

Target URL

https://doi.org/10.1007/978-3-662-54577-5_8