Book section Open Access
Courant, Nathanaël;
Urban, Caterina
@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} }
Views | 22 |
Downloads | 95 |
Data volume | 84.3 MB |
Unique views | 21 |
Unique downloads | 94 |