Book section Open Access

Precise Widening Operators for Proving Termination by Abstract Interpretation

Courant, Nathanaël; Urban, Caterina

BibTeX Export

@misc{courant_nathanael_2017_894778,
  author       = {Courant, Nathanaël and
                  Urban, Caterina},
  title        = {{Precise Widening Operators for Proving Termination 
                   by Abstract Interpretation}},
  month        = jan,
  year         = 2017,
  publisher    = {Zenodo},
  doi          = {10.1007/978-3-662-54577-5\_8},
  url          = {https://doi.org/10.1007/978-3-662-54577-5\_8}
}
9
58
views
downloads
Views 9
Downloads 58
Data volume 51.5 MB
Unique views 9
Unique downloads 57
More info on how stats are collected.
Indexed in
Publication date:
January 1, 2017
DOI:
10.1007/978-3-662-54577-5_8

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

License (for files):
Other (Open)

Share

Cite as

Export